Automatically Learning Formal Models from Autonomous Driving Software

Automatically Learning Formal Models from Autonomous Driving Software

The correctness of autonomous driving software is of utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee correctness and thereby allow the safe deployment of autonomous vehicles. However, challenges exist for wides...

Full description

Bibliographic Details
Main Authors: Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, Martin Fabian
Format: Article
Language:English
Published: MDPI AG 2022-02-01
Series:Electronics
Subjects:
autonomous driving
active learning
formal methods
model-based engineering
automata learning
Online Access:https://www.mdpi.com/2079-9292/11/4/643

Internet

https://www.mdpi.com/2079-9292/11/4/643

Similar Items