Risk Verification of Stochastic Systems with Neural Network Controllers

Risk Verification of Stochastic Systems with Neural Network Controllers

26 August 2022

Matthew Cleaveland

Radoslav Ivanov

George Pappas

Papers citing "Risk Verification of Stochastic Systems with Neural Network Controllers"

7 / 7 papers shown

Title
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
On the Sample Complexity of Stability Constrained Imitation Learning Stephen Tu Alexander Robey Tingnan Zhang Nikolai Matni 41 38 0 18 Feb 2021
Separated Proportional-Integral Lagrangian for Chance Constrained Reinforcement Learning Baiyu Peng Yao Mu Jingliang Duan Yang Guan Shengbo Eben Li Jianyu Chen 44 19 0 17 Feb 2021
Distribution-Free, Risk-Controlling Prediction Sets Stephen Bates Anastasios Nikolas Angelopoulos Lihua Lei Jitendra Malik Michael I. Jordan OOD 176 185 0 07 Jan 2021
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction Sangdon Park Osbert Bastani Nikolai Matni Insup Lee UQCV 126 68 0 31 Dec 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Risk-Sensitive and Robust Decision-Making: a CVaR Optimization Approach Yinlam Chow Aviv Tamar Shie Mannor Marco Pavone 62 310 0 06 Jun 2015