论文标题
在LNT中正式建模自动驾驶汽车以进行模拟和测试
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
论文作者
论文摘要
我们提出了两种自动驾驶汽车的行为模型及其与环境的相互作用。两种模型都使用CADP工具箱提供的正式建模语言LNT。本文讨论了我们自动驾驶汽车模型的建模选择和挑战，还说明了如何将形式验证工具应用于单个组件或整个车辆。
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.
