@inproceedings{Horel_2022,<br/><span class="tab"></span> title={Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles},<br/><span class="tab"></span> url={http://dx.doi.org/10.23919/date54114.2022.9774581},<br/><span class="tab"></span> DOI={10.23919/date54114.2022.9774581},<br/><span class="tab"></span> booktitle={2022 Design,<br/><span class="tab"></span> Automation &amp; Test in Europe Conference &amp; Exhibition (DATE)},<br/><span class="tab"></span> publisher={IEEE},<br/><span class="tab"></span> author={Horel,<br/><span class="tab"></span> Jean-Baptiste and Laugier,<br/><span class="tab"></span> Christian and Marsso,<br/><span class="tab"></span> Lina and Mateescu,<br/><span class="tab"></span> Radu and Muller,<br/><span class="tab"></span> Lucie and Paigwar,<br/><span class="tab"></span> Anshul and Renzaglia,<br/><span class="tab"></span> Alessandro and Serwe,<br/><span class="tab"></span> Wendelin},<br/><span class="tab"></span> year={2022},<br/><span class="tab"></span> month=mar }