English

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Logic in Computer Science 2022-03-21 v1 Robotics
Authors: Lina Marsso , Radu Mateescu , Lucie Muller , Wendelin Serwe
View on arXiv ↗ PDF ↗ DOI ↗

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.

Keywords

autonomous driving information modeling simulation

Cite

@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}
}

Comments

In Proceedings MARS 2022, arXiv:2203.09299

Related papers

View all related →
Artificial Intelligence · Computer Science
Empowering Autonomous Driving with Large Language Models: A Safety Perspective
Yixuan Wang, Ruochen Jiao, Sinong Simon Zhan, Chengtian Lang +4
2024-03-25
Systems and Control · Electrical Eng. & Systems
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia +6
2020-07-14
Computer Vision and Pattern Recognition · Computer Science
Evaluation of Large Language Models for Decision Making in Autonomous Driving
Kotaro Tanahashi, Yuichi Inoue, Yu Yamaguchi, Hidetatsu Yaginuma +10
2023-12-12
Robotics · Computer Science
Investigating Driving Interactions: A Robust Multi-Agent Simulation Framework for Autonomous Vehicles
Marc Kaufeld, Rainer Trauth, Johannes Betz
2024-02-08
Computer Vision and Pattern Recognition · Computer Science
Applications of Large Scale Foundation Models for Autonomous Driving
Yu Huang, Yue Chen, Zhu Li
2024-01-08
Software Engineering · Computer Science
A Declarative Metamorphic Testing Framework for Autonomous Driving
Yao Deng, Xi Zheng, Tianyi Zhang, Guannan Lou +3
2022-09-28
Artificial Intelligence · Computer Science
A Survey on Multimodal Large Language Models for Autonomous Driving
Can Cui, Yunsheng Ma, Xu Cao, Wenqian Ye +17
2023-11-22
Robotics · Computer Science
When Digital Twins Meet Large Language Models: Realistic, Interactive, and Editable Simulation for Autonomous Driving
Tanmay Vilas Samak, Chinmay Vilas Samak, Bing Li, Venkat Krovi
2026-02-23
Software Engineering · Computer Science
Simulation-based Validation for Autonomous Driving Systems
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan +1
2023-01-24
Robotics · Computer Science
Evaluation of Large Language Models for Anomaly Detection in Autonomous Vehicles
Petros Loukas, David Bassir, Savvas Chatzichristofis, Angelos Amanatiadis
2025-09-09
Robotics · Computer Science
Probing Multimodal LLMs as World Models for Driving
Shiva Sreeram, Tsun-Hsuan Wang, Alaa Maalouf, Guy Rosman +2
2024-10-29
Artificial Intelligence · Computer Science
Dialogue-based generation of self-driving simulation scenarios using Large Language Models
Antonio Valerio Miceli-Barone, Alex Lascarides, Craig Innes
2023-10-27
Robotics · Computer Science
Design of a prototypical platform for autonomous and connected vehicles
Stefano Arrigoni, Simone Mentasti, Federico Cheli, Matteo Matteucci +1
2022-02-15
Robotics · Computer Science
Driving with LLMs: Fusing Object-Level Vector Modality for Explainable Autonomous Driving
Long Chen, Oleg Sinavski, Jan Hünermann, Alice Karnsund +4
2023-10-17
Robotics · Computer Science
Driving Style Alignment for LLM-powered Driver Agent
Ruoxuan Yang, Xinyue Zhang, Anais Fernandez-Laaksonen, Xin Ding +1
2024-03-19
Robotics · Computer Science
Towards Natural Language Communication for Cooperative Autonomous Driving via Self-Play
Jiaxun Cui, Chen Tang, Jarrett Holtz, Janice Nguyen +3
2025-06-02
Robotics · Computer Science
Temporal Logic Guided Safe Navigation for Autonomous Vehicles
Aditya Parameshwaran, Yue Wang
2025-01-24
Logic in Computer Science · Computer Science
Can Large Language Models Autoformalize Kinematics?
Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins +2
2025-10-08
Robotics · Computer Science
SMET: Scenario-based Metamorphic Testing for Autonomous Driving Models
Haiyang Ao, Ya Pan
2021-04-09
Logic in Computer Science · Computer Science
A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
Lucas E. R. Fernandes, Vinicius Custodio, Gleifer V. Alves, Michael Fisher
2017-09-11
Artificial Intelligence · Computer Science
Game-Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems
Nan Li, Dave Oyler, Mengxuan Zhang, Yildiray Yildiz +2
2016-08-31
Software Engineering · Computer Science
Open Challenges in the Formal Verification of Autonomous Driving
Paolo Burgio, Angelo Ferrando, Marco Villani
2024-11-25
Artificial Intelligence · Computer Science
Formal Verification of Autonomous Vehicle Platooning
Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher +1
2016-02-05
Image and Video Processing · Electrical Eng. & Systems
Learning Self-Awareness for Autonomous Vehicles: Exploring Multisensory Incremental Models
Mahdyar Ravanbakhsh, Mohamad Baydoun, Damian Campo, Pablo Marin +3
2020-04-22
Robotics · Computer Science
A Tutorial on Sim-ATAV: Simulation-based Adversarial Testing Framework for Autonomous Vehicles
Cumhur Erkan Tuncali
2019-03-27
R2 v1 2026-06-24T10:18:15.513Z