{"total":36,"rows":[{"id":"2206.12227","title":"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective","created":"2022-06-24","cited_by_count":42,"area":null},{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2209.14076","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","created":"2022-09-28","cited_by_count":18,"area":null},{"id":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2101.01815","title":"Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers","created":"2021-01-05","cited_by_count":10,"area":null},{"id":"2204.08319","title":"Backward Reachability Analysis for Neural Feedback Loops","created":"2022-04-14","cited_by_count":9,"area":null},{"id":"2301.07912","title":"Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers","created":"2023-01-19","cited_by_count":9,"area":null},{"id":"2307.14938","title":"Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops","created":"2023-07-27","cited_by_count":9,"area":null},{"id":"2408.09262","title":"PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks","created":"2024-08-17","cited_by_count":8,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2210.07918","title":"A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops","created":"2022-10-14","cited_by_count":6,"area":null},{"id":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","cited_by_count":6,"area":null},{"id":"2212.08578","title":"Provable Fairness for Neural Network Models using Formal Verification","created":"2022-12-16","cited_by_count":6,"area":null},{"id":"2306.15340","title":"A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems","created":"2023-06-27","cited_by_count":6,"area":null},{"id":"2111.07683","title":"Reachability analysis of neural networks using mixed monotonicity","created":"2021-11-15","cited_by_count":3,"area":null},{"id":"2202.01214","title":"Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression","created":"2022-02-02","cited_by_count":3,"area":null},{"id":"2304.03671","title":"Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems","created":"2023-04-07","cited_by_count":3,"area":null},{"id":"2306.14619","title":"Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes","created":"2023-06-26","cited_by_count":3,"area":null},{"id":"2406.04476","title":"Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis","created":"2024-06-06","cited_by_count":3,"area":null},{"id":"2407.14394","title":"TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems","created":"2024-07-19","cited_by_count":3,"area":null},{"id":"2301.07531","title":"Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction","created":"2023-01-17","cited_by_count":2,"area":null},{"id":"2106.12732","title":"Online Verification of Deep Neural Networks under Domain Shift or Network Updates","created":"2021-06-24","cited_by_count":1,"area":null},{"id":"2107.12801","title":"Robust Optimization Framework for Training Shallow Neural Networks Using Reachability Method","created":"2021-07-27","cited_by_count":1,"area":null},{"id":"2304.13811","title":"A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems","created":"2023-04-26","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2510.05261","title":"ECLipsE-Gen-Local: Efficient Compositional Local Lipschitz Estimates for Deep Neural Networks","created":"2025-10-06","cited_by_count":1,"area":null},{"id":"2106.11881","title":"Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe","created":"2021-06-22","cited_by_count":0,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2207.03884","title":"NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation","created":"2022-07-08","cited_by_count":0,"area":null},{"id":"2303.07917","title":"Reachability Analysis of Neural Networks with Uncertain Parameters","created":"2023-03-14","cited_by_count":0,"area":null},{"id":"2304.13812","title":"Guaranteed Quantization Error Computation for Neural Network Model Compression","created":"2023-04-26","cited_by_count":0,"area":null},{"id":"2306.17323","title":"Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)","created":"2023-06-29","cited_by_count":0,"area":null},{"id":"2402.11737","title":"Compression Repair for Feedforward Neural Networks Based on Model Equivalence Evaluation","created":"2024-02-18","cited_by_count":0,"area":null},{"id":"2504.08249","title":"Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers","created":"2025-04-11","cited_by_count":0,"area":null},{"id":"2507.04523","title":"Verification of Visual Controllers via Compositional Geometric Transformations","created":"2025-07-06","cited_by_count":0,"area":null},{"id":"2507.22760","title":"Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision","created":"2025-07-30","cited_by_count":0,"area":null}],"next_cursor":null}