Alberto Griggio, Alessandro Cimatti e Stefano Tonetta, FM Unit, (Digital Industry) 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.