Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
TL;DR
This paper introduces formal behavioral models of autonomous vehicles using the LNT language, enabling simulation and validation of vehicle-environment interactions for improved testing.
Contribution
It presents novel formal models of autonomous vehicles in LNT, demonstrating their use for simulation and validation within the CADP toolbox.
Findings
Models facilitate formal validation of vehicle behavior
Application of CADP tools for simulation and testing
Discussion of modeling challenges and choices
Abstract
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our autonomous vehicle models, and also illustrates how formal validation tools can be applied to a single component or the overall vehicle.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.