Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these systems is particularly challenging due to the complexity of the perception DNNs, the sensors (cameras), and the environme...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-02
Hauptverfasser:	Pasareanu, Corina S, Mangal, Ravi, Gopinath, Divya, Yaman, Sinem Getir, Imrie, Calum, Calinescu, Radu, Yu, Huafeng
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial neural networks Cameras Closed loops Complexity Dimensional analysis Guards Perception Probabilistic analysis Runways Safety critical
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!