@inproceedings{horel:hal-03516799, TITLE = {{Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles}}, AUTHOR = {Horel, Jean-Baptiste and Laugier, Christian and Marsso, Lina and Mateescu, Radu and Muller, Lucie and Paigwar, Anshul and Renzaglia, Alessandro and Serwe, Wendelin}, URL = {https://inria.hal.science/hal-03516799}, BOOKTITLE = {{DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design}}, ADDRESS = {Antwerp, Belgium}, PUBLISHER = {{IEEE}}, PAGES = {532-537}, YEAR = {2022}, MONTH = Mar, DOI = {10.23919/DATE54114.2022.9774581}, KEYWORDS = {Input-output conformance ; Behavior trees ; Test purpose ; Scenario generation ; Formal methods ; CARLA simulator}, PDF = {https://inria.hal.science/hal-03516799/file/paper_DATE_ADS_22.pdf}, HAL_ID = {hal-03516799}, HAL_VERSION = {v1}, }