Generating Probabilistic Safety Guarantees for Neural Network Controllers

1 March 2021

Mykel J. Kochenderfer

Papers citing "Generating Probabilistic Safety Guarantees for Neural Network Controllers"

3 / 3 papers shown

Title
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 42 2 0 09 Jun 2021
Verification of Image-based Neural Network Controllers Using Generative Models Sydney M. Katz Anthony Corso Christopher A. Strong Mykel J. Kochenderfer GAN 24 46 0 14 May 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017