Formal Methods for Autonomous Vehicles

This article describes the impact that autonomous vehicle operation will have on a range of domains and how formal methods can guarantee the safe operation of those vehicles. The verification of the safe operation of autonomous systems (e.g., autopilot systems for commercial aircraft) was traditiona...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IT professional 2024-01, Vol.26 (1), p.50-56
Hauptverfasser:	Provan, Gregory, Margaria, Tiziana
Format:	Artikel
Sprache:	eng
Schlagworte:	Adaptation models Advanced driver assistance systems Aircraft Automatic pilots Automotive engineering Autonomous systems Autonomous vehicles Autopilot Computational materials science Cyber-physical systems Formal method Formal verification Intelligent vehicles Machine learning Pedestrians Safety management Software Software development management Vehicle safety Verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!