Jean-Baptiste Horel

According to our database, Jean-Baptiste Horel authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking.

Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi

Proceedings of the Testing Software and Systems, 2025

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, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

J. Intell. Robotic Syst., April, 2023

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

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

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

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.

Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022