Risk verification of stochastic systems with neural network controllers
From MaRDI portal
Publication:2093383
DOI10.1016/j.artint.2022.103782OpenAlexW4294011232MaRDI QIDQ2093383
George J. Pappas, Lars Lindemann, Matthew Cleaveland, Radoslav Ivanov
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
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- GAZEBO
- Robustness of temporal logic specifications for continuous-time signals
- Statistical model checking
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control
- Reluplex: an efficient SMT solver for verifying deep neural networks
- System design of stochastic models using robustness of temporal properties
- Data-driven verification of stochastic linear systems with signal temporal logic constraints
- Statistical verification of dynamical systems using set oriented methods
- Calculation of the Wasserstein Distance Between Probability Distributions on the Line
- Risk-Constrained Reinforcement Learning with Percentile Risk Criteria
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Distribution-free, Risk-controlling Prediction Sets
- Statistical verification of learning-based cyber-physical systems
- Case study
- Verisig
- Sherlock - A tool for verification of neural network feedback systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Sequential Tests of Statistical Hypotheses
