Risk verification of stochastic systems with neural network controllers
type: Item
instance of: scholarly article
title: Risk verification of stochastic systems with neural network controllers
author: Matthew Cleaveland
author: Lars Lindemann
author: Radoslav Ivanov
author: George Pappas
published in: Artificial Intelligence
publication date: 2022-11-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2209.09881
Mathematics Subject Classification ID: 68Txx
zbMATH DE Number: 7613160
zbMATH Keywords: formal verification
zbMATH Keywords: risk-aware systems
zbMATH Keywords: stochastic systems
zbMATH Keywords: neural network controller verification
cites work: GAZEBO
cites work: Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: System design of stochastic models using robustness of temporal properties
cites work: Case study
cites work: Statistical model checking
cites work: Sequential Tests of Statistical Hypotheses
cites work: Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
cites work: Risk-Constrained Reinforcement Learning with Percentile Risk Criteria
cites work: Reluplex: an efficient SMT solver for verifying deep neural networks
cites work: Verisig
cites work: Sherlock - A tool for verification of neural network feedback systems
cites work: Distribution-free, Risk-controlling Prediction Sets
cites work: Q5322945
cites work: Statistical verification of learning-based cyber-physical systems
cites work: Statistical verification of dynamical systems using set oriented methods
cites work: Data-driven verification of stochastic linear systems with signal temporal logic constraints
cites work: Robustness of temporal logic specifications for continuous-time signals
cites work: Calculation of the Wasserstein Distance Between Probability Distributions on the Line
cites work: Q4485837
cites work: Q5386174
describes a project that uses: GAZEBO
describes a project that uses: Wasserstein GAN
describes a project that uses: ReachNN
describes a project that uses: Sherlock
MaRDI profile type: Publication
OpenAlex ID: W4294011232
DOI: 10.1016/J.ARTINT.2022.103782
Recommended article: A learner-verifier framework for neural network controllers and certificates of stochastic systems
Recommended article: Generating probabilistic safety guarantees for neural network controllers
Recommended article: Verisig
Recommended article: Stochastic sampled-data stabilization of neural-network-based control systems
Recommended article: Formal verification of neural network controlled autonomous systems
Recommended article: Stable neural control of uncertain multivariable systems
Recommended article: RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
Recommended article: Neural network-based asymptotic tracking control design for stochastic nonlinear systems
Recommended article: Adaptive neural network control of stochastic nonlinear systems with perturbations
description: scientific article; zbMATH DE number 7613160