Using formal conformance testing to generate scenarios for autonomous vehicles JB Horel, C Laugier, L Marsso, R Mateescu, L Muller, A Paigwar, ... 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 532-537, 2022 | 7 | 2022 |
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model JB Horel, P Ledent, L Marsso, L Muller, C Laugier, R Mateescu, ... Journal of Intelligent & Robotic Systems 107 (4), 59, 2023 | 2 | 2023 |