CommonUppRoad：结合机器学习和形式方法的自动驾驶车辆安全框架

文章预览

CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles 论文： https://arxiv.org/abs/2408.01093 CommonUppRoad  是一个创新的框架，它融合了CommonRoad和UPPAAL两个工具的优势，旨在提升自动驾驶车辆的安全性和可靠性。 通过结合机器学习与形式化方法，CommonUppRoad 不仅提供了一种系统化和全面的理解自动驾驶系统行为的方式，还加强了系统的安全性。该框架支持自动模型转换，使用户只需用Python编程，即可在后端处理形式模型、学习和验证。CommonUppRoad 还提供了在真实世界道路网络中通过CommonRoad可视化由UPPAAL综合得到的控制器，极大地促进了自动驾驶车辆设计者采用形式模型进行系统设计。 CommonUppRoad 框架还提供了对车辆动态的精确描述，通过与常微分方程（ODE）相关联的时间游戏模板，允许使用基于搜索和基于学习的方法进行控 ………………………………