{"total":39,"rows":[{"id":"2309.05837","title":"The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems","created":"2023-09-11","cited_by_count":88,"area":null},{"id":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29,"area":null},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"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":"2112.05745","title":"A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis","created":"2021-12-10","cited_by_count":12,"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":"2301.12100","title":"Reachability Analysis of Neural Network Control Systems","created":"2023-01-28","cited_by_count":8,"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":"2212.04646","title":"DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops","created":"2022-12-09","cited_by_count":6,"area":null},{"id":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"area":null},{"id":"2304.02755","title":"Hybrid Zonotopes Exactly Represent ReLU Neural Networks","created":"2023-04-05","cited_by_count":4,"area":null},{"id":"2410.00145","title":"Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops","created":"2024-09-30","cited_by_count":4,"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":"2309.09043","title":"Forward Invariance in Neural Network Controlled Systems","created":"2023-09-16","cited_by_count":3,"area":null},{"id":"2311.16520","title":"Value Approximation for Two-Player General-Sum Differential Games with State Constraints","created":"2023-11-28","cited_by_count":3,"area":null},{"id":"2408.01273","title":"Certified Robust Invariant Polytope Training in Neural Controlled ODEs","created":"2024-08-02","cited_by_count":3,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3,"area":null},{"id":"2508.09732","title":"Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System","created":"2025-08-13","cited_by_count":3,"area":null},{"id":"2212.07553","title":"Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes","created":"2022-12-14","cited_by_count":2,"area":null},{"id":"2505.03643","title":"BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems","created":"2025-05-06","cited_by_count":2,"area":null},{"id":"2509.19688","title":"Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization","created":"2025-09-24","cited_by_count":2,"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":"2601.01076","title":"Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees","created":"2026-01-03","cited_by_count":1,"area":null},{"id":"2606.02562","title":"Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics","created":"2026-06-01","cited_by_count":1,"area":null},{"id":"2303.17674","title":"Convex Hulls of Reachable Sets","created":"2023-03-30","cited_by_count":0,"area":null},{"id":"2307.06287","title":"Rational Neural Network Controllers","created":"2023-07-12","cited_by_count":0,"area":null},{"id":"2403.03314","title":"Collision Avoidance Verification of Multiagent Systems with Learned Policies","created":"2024-03-05","cited_by_count":0,"area":null},{"id":"2403.16132","title":"Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems","created":"2024-03-24","cited_by_count":0,"area":null},{"id":"2404.12474","title":"Learning a Stable, Safe, Distributed Feedback Controller for a Heterogeneous Platoon of Autonomous Vehicles","created":"2024-04-18","cited_by_count":0,"area":null},{"id":"2406.02723","title":"Predicting AI Agent Behavior through Approximation of the Perron-Frobenius Operator","created":"2024-06-04","cited_by_count":0,"area":null},{"id":"2409.09687","title":"Training Safe Neural Networks with Global SDP Bounds","created":"2024-09-15","cited_by_count":0,"area":null},{"id":"2503.10840","title":"Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes","created":"2025-03-13","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":"2605.14758","title":"Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning","created":"2026-05-14","cited_by_count":0,"area":null}],"next_cursor":null}