{"list":"other","total":67,"rows":[{"id":"1706.06083","title":"Towards Deep Learning Models Resistant to Adversarial Attacks","created":"2017-06-19","cited_by_count":6415},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1711.00851","title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","created":"2017-11-02","cited_by_count":567},{"id":"1811.00866","title":"Efficient Neural Network Robustness Certification with General Activation Functions","created":"2018-11-02","cited_by_count":445},{"id":"1810.12715","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","created":"2018-10-30","cited_by_count":328},{"id":"1801.09344","title":"Certified Defenses against Adversarial Examples","created":"2018-01-29","cited_by_count":306},{"id":"1609.06408","title":"Control Barrier Function Based Quadratic Programs for Safety Critical Systems","created":"2016-09-21","cited_by_count":287},{"id":"1906.06316","title":"Towards Stable and Efficient Training of Verifiably Robust Neural Networks","created":"2019-06-14","cited_by_count":205},{"id":"2011.13824","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","created":"2020-11-27","cited_by_count":187},{"id":"2202.11762","title":"Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods","created":"2022-02-23","cited_by_count":151},{"id":"2005.00611","title":"Neural Lyapunov Control","created":"2020-05-01","cited_by_count":142},{"id":"2004.05519","title":"NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems","created":"2020-04-12","cited_by_count":128},{"id":"1902.08722","title":"A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks","created":"2019-02-23","cited_by_count":125},{"id":"2208.05740","title":"General Cutting Planes for Bound-Propagation-Based Neural Network Verification","created":"2022-08-11","cited_by_count":103},{"id":"2109.06697","title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions","created":"2021-09-14","cited_by_count":94},{"id":"2004.03315","title":"Learning Control Barrier Functions from Expert Demonstrations","created":"2020-04-07","cited_by_count":92},{"id":"2109.14152","title":"Lyapunov-stable neural-network control","created":"2021-09-29","cited_by_count":66},{"id":"2011.12569","title":"Learning Certified Control using Contraction Metric","created":"2020-11-25","cited_by_count":49},{"id":"2405.21063","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","created":"2024-05-31","cited_by_count":47},{"id":"2103.17268","title":"Fast Certified Robust Training with Short Warmup","created":"2021-03-31","cited_by_count":46},{"id":"2006.07579","title":"Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers","created":"2020-06-13","cited_by_count":44},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38},{"id":"2012.09293","title":"Imitation Learning with Stability and Safety Guarantees","created":"2020-12-16","cited_by_count":34},{"id":"2501.00200","title":"Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes","created":"2024-12-31","cited_by_count":33},{"id":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29},{"id":"2306.10426","title":"Understanding Certified Training with Interval Bound Propagation","created":"2023-06-17","cited_by_count":26},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25},{"id":"2006.04361","title":"Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approach","created":"2020-06-08","cited_by_count":23},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23},{"id":"1905.04585","title":"Formal Synthesis of Stochastic Systems via Control Barrier Certificates","created":"2019-05-11","cited_by_count":21},{"id":"2312.09131","title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","created":"2023-12-14","cited_by_count":20},{"id":"1809.05289","title":"Lyapunov Theory for Discrete Time Systems","created":"2018-09-14","cited_by_count":16},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15},{"id":"2210.00629","title":"Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints","created":"2022-10-02","cited_by_count":14},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14},{"id":"2203.03034","title":"A Unified View of SDP-based Neural Network Verification through Completely Positive Programming","created":"2022-03-06","cited_by_count":12},{"id":"2209.09134","title":"Safety Index Synthesis via Sum-of-Squares Programming","created":"2022-09-19","cited_by_count":12},{"id":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","cited_by_count":12},{"id":"1612.05327","title":"Convergence Properties for Discrete-time Nonlinear Systems","created":"2016-12-16","cited_by_count":10},{"id":"2004.00521","title":"Stability and feasibility of neural network-based controllers via output range analysis","created":"2020-04-01","cited_by_count":10},{"id":"2403.10013","title":"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction","created":"2024-03-15","cited_by_count":10},{"id":"2307.14938","title":"Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops","created":"2023-07-27","cited_by_count":9},{"id":"2512.11087","title":"Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification","created":"2025-12-11","cited_by_count":9},{"id":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8},{"id":"2403.08448","title":"Actor-Critic Physics-informed Neural Lyapunov Control","created":"2024-03-13","cited_by_count":8},{"id":"2304.07215","title":"Towards Learning and Verifying Maximal Neural Lyapunov Functions","created":"2023-04-14","cited_by_count":7},{"id":"2110.00693","title":"A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability","created":"2021-10-02","cited_by_count":6},{"id":"2204.03913","title":"Stability of Non-linear Neural Feedback Loops using Sum of Squares","created":"2022-04-08","cited_by_count":6},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6},{"id":"2404.13456","title":"Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation","created":"2024-04-20","cited_by_count":5},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5},{"id":"2412.09584","title":"BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics","created":"2024-12-12","cited_by_count":5},{"id":"2504.17102","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","created":"2025-04-23","cited_by_count":5},{"id":"2506.15693","title":"Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks","created":"2025-05-27","cited_by_count":5},{"id":"1505.01180","title":"Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties","created":"2015-05-05","cited_by_count":4},{"id":"2409.20528","title":"Formally Verified Physics-Informed Neural Control Lyapunov Functions","created":"2024-09-30","cited_by_count":4},{"id":"2104.10352","title":"Control Contraction Metric Synthesis for Discrete-time Nonlinear Systems","created":"2021-04-21","cited_by_count":3},{"id":"2209.00081","title":"A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions","created":"2022-08-31","cited_by_count":3},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3},{"id":"2506.13961","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","created":"2025-06-16","cited_by_count":3},{"id":"1903.02191","title":"Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems","created":"2019-03-06","cited_by_count":2},{"id":"2303.10024","title":"Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems","created":"2023-03-17","cited_by_count":2},{"id":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","cited_by_count":2},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2},{"id":"2406.18914","title":"Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions","created":"2024-06-27","cited_by_count":1},{"id":"2507.10352","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","created":"2025-07-14","cited_by_count":1},{"id":"2511.10510","title":"Formal Verification of Control Lyapunov-Barrier Functions for Safe Stabilization with Bounded Controls","created":"2025-11-13","cited_by_count":1}],"next_cursor":null}