Risk of Stochastic Systems for Temporal Logic Specifications

The wide availability of data coupled with the computational advances in artificial intelligence and machine learning promise to enable many future technologies such as autonomous driving. While there has been a variety of successful demonstrations of these technologies, critical system failures hav...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on embedded computing systems 2023-04, Vol.22 (3), p.1-31, Article 54
Hauptverfasser:	Lindemann, Lars, Jiang, Lejun, Matni, Nikolai, Pappas, George J.
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer systems organization Embedded and cyber-physical systems General and reference Logic Logic and verification Mathematics of computing Modal and temporal logics Probability and statistics Robotics Stochastic processes Theory of computation Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!