Catégorie Rapport Auteurs Paolo Crisafulli Safouan Taha Burkhart Wolff https://inria.hal.science/hal-03429597v2 doc ID 3461433 Nom Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP Date de publication ven 21/03/2025 - 12:00