Risk verification of stochastic systems with neural network controllers
From MaRDI portal
Publication:2093383
DOI10.1016/J.ARTINT.2022.103782OpenAlexW4294011232MaRDI QIDQ2093383FDOQ2093383
Authors: Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George Pappas 
Publication date: 8 November 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2209.09881
Recommendations
- A learner-verifier framework for neural network controllers and certificates of stochastic systems
- Generating probabilistic safety guarantees for neural network controllers
- Verisig
- Stochastic sampled-data stabilization of neural-network-based control systems
- Formal verification of neural network controlled autonomous systems
- Stable neural control of uncertain multivariable systems
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
- Neural network-based asymptotic tracking control design for stochastic nonlinear systems
- Adaptive neural network control of stochastic nonlinear systems with perturbations
Cites Work
- GAZEBO
- Sequential Tests of Statistical Hypotheses
- Infinite dimensional analysis. A hitchhiker's guide.
- System design of stochastic models using robustness of temporal properties
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Calculation of the Wasserstein Distance Between Probability Distributions on the Line
- Robustness of temporal logic specifications for continuous-time signals
- Statistical model checking
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Case study
- Verisig
- Sherlock - A tool for verification of neural network feedback systems
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Risk-constrained reinforcement learning with percentile risk criteria
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Statistical verification of dynamical systems using set oriented methods
- Distribution-free, Risk-controlling Prediction Sets
- Statistical verification of learning-based cyber-physical systems
Uses Software
This page was built for publication: Risk verification of stochastic systems with neural network controllers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2093383)
