Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu 0001, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. In Cristiana Bolchini, Ingrid Verbauwhede, Ioana Vatajelu, editors, 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022. pages 532-537, IEEE, 2022. [doi]
Abstract is missing.