UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

23 January 2024

Papers citing "UR4NNV: Neural Network Verification, Under-approximation Reachability Works!"

3 / 3 papers shown

Title
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 28 33 0 06 Jul 2022
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 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 240 1,837 0 03 Feb 2017