Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella. Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control. In Ibrahim A. Hameed, Agus Hasan, Saleh Abdel-Afou Alaliyat, editors, Proceedings of the 36th ECMS International Conference on Modelling and Simulation, ECMS 2022, Ålesund, Norway, May 30 - June 3, 2022. pages 310-316, European Council for Modeling and Simulation, 2022. [doi]
Abstract is missing.