{"total":42,"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":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2302.01404","title":"Provably Bounding Neural Network Preimages","created":"2023-02-02","cited_by_count":29,"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":"2405.00846","title":"Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imagination","created":"2024-05-01","cited_by_count":16,"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":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"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":"2201.13351","title":"LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions","created":"2022-01-31","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":"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":"2312.06810","title":"System-level Safety Guard: Safe Tracking Control through Uncertain Neural Network Dynamics Models","created":"2023-12-11","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":"2111.10832","title":"Automated Controller Calibration by Kalman Filtering","created":"2021-11-21","cited_by_count":3,"area":null},{"id":"2202.11246","title":"Learning Neural Networks under Input-Output Specifications","created":"2022-02-23","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":"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":"2403.11938","title":"State space representations of the Roesser type for convolutional layers","created":"2024-03-18","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":"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":"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":"2209.08073","title":"Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning","created":"2022-09-16","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":"2506.23703","title":"A New Perspective On AI Safety Through Control Theory Methodologies","created":"2025-06-30","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":"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":"2201.00801","title":"Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control","created":"2022-01-03","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":"2409.09687","title":"Training Safe Neural Networks with Global SDP Bounds","created":"2024-09-15","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":"2505.11546","title":"Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control","created":"2025-05-15","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}],"next_cursor":null}