Back to Search
Start Over
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
- Source :
- EPTCS 355, 2022, pp. 60-117
- Publication Year :
- 2022
-
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.<br />Comment: In Proceedings MARS 2022, arXiv:2203.09299
- Subjects :
- Computer Science - Logic in Computer Science
Computer Science - Robotics
Subjects
Details
- Database :
- arXiv
- Journal :
- EPTCS 355, 2022, pp. 60-117
- Publication Type :
- Report
- Accession number :
- edsarx.2203.09885
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4204/EPTCS.355.5