Formal Verification of Stochastic Systems with ReLU Neural Network Controllers

8 March 2021

Papers citing "Formal Verification of Stochastic Systems with ReLU Neural Network Controllers"

2 / 2 papers shown

Title
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 2017
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