Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.

Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Browse the full DATE paper archive.