Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. - Jean-Baptiste Horel; Christian Laugier; Lina Marsso; Radu Mateescu 001; Lucie Muller; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (DATE, 2022)

Augmented Reality on LiDAR data: Going beyond Vehicle-in-the-Loop for Automotive Software Validation. - Thomas Genevois; Jean-Baptiste Horel; Alessandro Renzaglia; Christian Laugier (IV, 2022)

A Navigation-Based Evaluation Metric for Probabilistic Occupancy Grids: Pathfinding Cost Mean Squared Error. - Jean-Baptiste Horel; Robin Baruffa; Lukas Rummelhard; Alessandro Renzaglia; Christian Laugier (ITSC, 2023)

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. - Jean-Baptiste Horel; Philippe Ledent; Lina Marsso; Lucie Muller; Christian Laugier; Radu Mateescu 001; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (J. Intell. Robotic Syst., 2023)