Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle.

Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

Browse the full SEFM paper archive.