Formal Verification Of Neural Networks: A Case Study About Adaptive Cruise Control.

Stefano Demarchi, Dario Guidotti, Andrea Pitto, Armando Tacchella

Browse the full ECMS paper archive.