Armando Tacchella

Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control

2022

Formal verification of neural networks is a promising technique to improve their dependability for safety critical applications. Autonomous driving is one such application where the controllers supervising different functions in a car should undergo a …