Risk Verification of Stochastic Systems with Neural Network Controllers

Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical systems with NN controllers. Given a stochastic control system, an NN controller, and a specification equipped with a notio...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Cleaveland, Matthew, Lindemann, Lars, Ivanov, Radoslav, Pappas, George
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Learning Computer Science - Systems and Control
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!