Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles

PROCEEDINGS ARTICLE published 14 March 2022 in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)

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