Open Challenges in the Formal Verification of Autonomous Driving

Paolo Burgio, Angelo Ferrando, Marco Villani

In the realm of autonomous driving, the development and integration of highly complex and heterogeneous systems are standard practice. Modern vehicles are not monolithic systems; i…