Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

03/18/2022
by   Lina Marsso, et al.
0

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.

READ FULL TEXT

Authors

page 8

02/04/2016

Formal Verification of Autonomous Vehicle Platooning

The coordination of multiple autonomous vehicles into convoys or platoon...
03/15/2021

Gradient Policy on "CartPole" game and its' expansibility to F1Tenth Autonomous Vehicles

Policy gradient is an effective way to estimate continuous action on the...
04/12/2018

Robust Safety for Autonomous Vehicles through Reconfigurable Networking

Autonomous vehicles bring the promise of enhancing the consumer experien...
03/06/2018

MIRIAM: A Multimodal Chat-Based Interface for Autonomous Systems

We present MIRIAM (Multimodal Intelligent inteRactIon for Autonomous sys...
10/03/2018

Human-Centered Autonomous Vehicle Systems: Principles of Effective Shared Autonomy

Building effective, enjoyable, and safe autonomous vehicles is a lot har...
09/08/2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

The development and deployment of Autonomous Vehicles (AVs) on our roads...
09/30/2021

Game and Simulation Design for Studying Pedestrian-Automated Vehicle Interactions

The present cross-disciplinary research explores pedestrian-autonomous v...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.