Alberto Griggio, Alessandro Cimatti and Stefano Tonetta, FM Unit, (Digital Industry) were awarded the “Distinguished artifact award” at the TACAS 2024 conferencefor the paper titled: “Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development,“ scrited in collaboration with researchers from Bosch and Cariad.