{"total":26,"rows":[{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2106.13867","title":"POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems","created":"2021-06-25","cited_by_count":39,"area":null},{"id":"2105.07091","title":"Verification of Image-based Neural Network Controllers Using Generative Models","created":"2021-05-14","cited_by_count":27,"area":null},{"id":"2112.09197","title":"Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes","created":"2021-12-16","cited_by_count":26,"area":null},{"id":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26,"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":"2207.06531","title":"Reachability Analysis of a General Class of Neural Ordinary Differential Equations","created":"2022-07-13","cited_by_count":13,"area":null},{"id":"2109.08947","title":"Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control","created":"2021-09-18","cited_by_count":12,"area":null},{"id":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","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":"2204.08319","title":"Backward Reachability Analysis for Neural Feedback Loops","created":"2022-04-14","cited_by_count":9,"area":null},{"id":"2309.09187","title":"Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference","created":"2023-09-17","cited_by_count":9,"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":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2210.04175","title":"Safety Verification for Neural Networks Based on Set-boundary Analysis","created":"2022-10-09","cited_by_count":5,"area":null},{"id":"2103.01203","title":"Generating Probabilistic Safety Guarantees for Neural Network Controllers","created":"2021-03-01","cited_by_count":4,"area":null},{"id":"2305.03365","title":"Repairing Deep Neural Networks Based on Behavior Imitation","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2303.05394","title":"A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems","created":"2023-03-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":"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":"2307.03783","title":"Neural Abstraction-Based Controller Synthesis and Deployment","created":"2023-07-07","cited_by_count":2,"area":null},{"id":"2406.00157","title":"Verification of Neural Network Control Systems in Continuous Time","created":"2024-05-31","cited_by_count":2,"area":null},{"id":"2306.15403","title":"Verifying Safety of Neural Networks from Topological Perspectives","created":"2023-06-27","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":"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":"2210.12054","title":"Towards Global Neural Network Abstractions with Locally-Exact Reconstruction","created":"2022-10-21","cited_by_count":0,"area":null}],"next_cursor":null}