Gentili colleghe e cari colleghi,

 

siamo lieti di informarvi di un importante riconoscimento ottenuto dall’unità FM, Digital Industry Center.
Alberto Griggio, Alessandro Cimatti e Stefano Tonetta hanno ottenuto il “Distinguished artifact award” alla conferenza  TACAS 2024 per il paper intitolato: Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development”, scritto in collaborazione con ricercatori di Bosch e Cariad.
 
Congratulazioni