학술논문
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Document Type
Working Paper
Source
EPTCS 355, 2022, pp. 60-117
Subject
Language
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.
Comment: In Proceedings MARS 2022, arXiv:2203.09299
Comment: In Proceedings MARS 2022, arXiv:2203.09299