Login / Signup
Jean-Baptiste Horel
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Structured Environments
Formal Model
Lidar Data
Route Planning
Top Venues
ITSC
IV
J. Intell. Robotic Syst.
DATE
</>
Publications
</>
Jean-Baptiste Horel
,
Philippe Ledent
,
Lina Marsso
,
Lucie Muller
,
Christian Laugier
,
Radu Mateescu
,
Anshul Paigwar
,
Alessandro Renzaglia
,
Wendelin Serwe
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.
J. Intell. Robotic Syst.
107 (4) (2023)
Jean-Baptiste Horel
,
Robin Baruffa
,
Lukas Rummelhard
,
Alessandro Renzaglia
,
Christian Laugier
A Navigation-Based Evaluation Metric for Probabilistic Occupancy Grids: Pathfinding Cost Mean Squared Error.
ITSC
(2023)
Thomas Genevois
,
Jean-Baptiste Horel
,
Alessandro Renzaglia
,
Christian Laugier
Augmented Reality on LiDAR data: Going beyond Vehicle-in-the-Loop for Automotive Software Validation.
IV
(2022)
Jean-Baptiste Horel
,
Christian Laugier
,
Lina Marsso
,
Radu Mateescu
,
Lucie Muller
,
Anshul Paigwar
,
Alessandro Renzaglia
,
Wendelin Serwe
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.
DATE
(2022)