Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
Published in International Conference on Modelling and Simulation, ECMS 2022, Aalesund, Norway, 2022
Recommended citation: S. Demarchi, D. Guidotti, A. Pitto and Armando Tacchella (2022), "Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control." in International Conference on Modelling and Simulation, ECMS 2022, Aalesund, Norway, May 30th-June 3rd, 2022, Proceedings, 2022.
We provide a real case study from automotive to try and verify a NN controller.