Login / Signup
Lucie Muller
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Autonomous Vehicles
Security Patterns
Route Planning
Vision Algorithms
Top Venues
MARS@ETAPS
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
,
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)
Lina Marsso
,
Radu Mateescu
,
Lucie Muller
,
Wendelin Serwe
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.
MARS@ETAPS
(2022)