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]
@inproceedings{HorelLMMMPRS22,
title = {Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles},
author = {Jean-Baptiste Horel and Christian Laugier and Lina Marsso and Radu Mateescu 0001 and Lucie Muller and Anshul Paigwar and Alessandro Renzaglia and Wendelin Serwe},
year = {2022},
doi = {10.23919/DATE54114.2022.9774581},
url = {https://doi.org/10.23919/DATE54114.2022.9774581},
researchr = {https://researchr.org/publication/HorelLMMMPRS22},
cites = {0},
citedby = {0},
pages = {532-537},
booktitle = {2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022},
editor = {Cristiana Bolchini and Ingrid Verbauwhede and Ioana Vatajelu},
publisher = {IEEE},
isbn = {978-3-9819263-6-1},
}