在 LNT 中形式化建模自动驾驶汽车用于仿真与测试
计算机科学中的逻辑
2022-03-21 v1 机器人学
摘要
我们提出了自动驾驶汽车及其与环境交互的两个行为模型。两个模型均使用 CADP 工具箱提供的正式建模语言 LNT。本文讨论了我们的自动驾驶汽车模型的建模选择和挑战,并说明了如何将形式化验证工具应用于单个组件或整车。
引用
@article{arxiv.2203.09885,
title = {Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing},
author = {Lina Marsso and Radu Mateescu and Lucie Muller and Wendelin Serwe},
journal= {arXiv preprint arXiv:2203.09885},
year = {2022}
}
备注
In Proceedings MARS 2022, arXiv:2203.09299