Exact Verification of ReLU Neural Control Barrier Functions

13 October 2023

Papers citing "Exact Verification of ReLU Neural Control Barrier Functions"

5 / 5 papers shown

Title
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints Hongkai Dai Frank Permenter 21 36 0 02 Oct 2022
Safety Index Synthesis via Sum-of-Squares Programming Weiye Zhao Tairan He Tianhao Wei Simin Liu Changliu Liu 30 28 0 19 Sep 2022
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions Charles Dawson Zengyi Qin Sicun Gao Chuchu Fan 120 172 0 14 Sep 2021
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