{"total":30,"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":"2401.17583","title":"Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion","created":"2024-01-31","cited_by_count":73,"area":null},{"id":"2112.12288","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","created":"2021-12-23","cited_by_count":49,"area":null},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"area":null},{"id":"2212.03228","title":"ISAACS: Iterative Soft Adversarial Actor-Critic for Safety","created":"2022-12-06","cited_by_count":28,"area":null},{"id":"2201.08355","title":"Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees","created":"2022-01-20","cited_by_count":27,"area":null},{"id":"2210.07553","title":"Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate","created":"2022-10-14","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":"2101.05916","title":"Scalable Learning of Safety Guarantees for Autonomous Systems using Hamilton-Jacobi Reachability","created":"2021-01-15","cited_by_count":14,"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":"2210.05989","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","created":"2022-10-12","cited_by_count":11,"area":null},{"id":"2309.01267","title":"Deception Game: Closing the Safety-Learning Loop in Interactive Robot Autonomy","created":"2023-09-03","cited_by_count":10,"area":null},{"id":"2505.10547","title":"Real-Time Out-of-Distribution Failure Prevention via Multi-Modal Reasoning","created":"2025-05-15","cited_by_count":10,"area":null},{"id":"2103.05746","title":"Analyzing Human Models that Adapt Online","created":"2021-03-09","cited_by_count":8,"area":null},{"id":"2405.09794","title":"Human-AI Safety: A Descendant of Generative AI and Control Systems Safety","created":"2024-05-16","cited_by_count":7,"area":null},{"id":"2203.10142","title":"Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning","created":"2022-03-18","cited_by_count":6,"area":null},{"id":"2103.02398","title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","created":"2021-03-03","cited_by_count":5,"area":null},{"id":"2506.15693","title":"Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks","created":"2025-05-27","cited_by_count":5,"area":null},{"id":"2106.01016","title":"Deep Reinforcement Learning-based UAV Navigation and Control: A Soft Actor-Critic with Hindsight Experience Replay Approach","created":"2021-06-02","cited_by_count":4,"area":null},{"id":"2207.07971","title":"A Survey of Decision Making in Adversarial Games","created":"2022-07-16","cited_by_count":3,"area":null},{"id":"2401.01502","title":"Pontryagin Neural Operator for Solving Parametric General-Sum Differential Games","created":"2024-01-03","cited_by_count":3,"area":null},{"id":"2501.15618","title":"Your Learned Constraint is Secretly a Backward Reachable Tube","created":"2025-01-26","cited_by_count":3,"area":null},{"id":"2508.03428","title":"Residual Neural Terminal Constraint for MPC-based Collision Avoidance in Dynamic Environments","created":"2025-08-05","cited_by_count":3,"area":null},{"id":"2107.14412","title":"Towards Data-Driven Synthesis of Autonomous Vehicle Safety Concepts","created":"2021-07-30","cited_by_count":2,"area":null},{"id":"2409.16301","title":"Gait Switching and Enhanced Stabilization of Walking Robots with Deep Learning-based Reachability: A Case Study on Two-link Walker","created":"2024-09-10","cited_by_count":1,"area":null},{"id":"2605.01051","title":"Value Functions for Temporal Logic: Optimal Policies and Safety Filters","created":"2026-05-01","cited_by_count":1,"area":null},{"id":"2302.14803","title":"Learned Risk Metric Maps for Kinodynamic Systems","created":"2023-02-28","cited_by_count":0,"area":null},{"id":"2311.09786","title":"Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions","created":"2023-11-16","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":"2512.22793","title":"Reach-Avoid Differential game with Reachability Analysis for UAVs: A decomposition approach","created":"2025-12-28","cited_by_count":0,"area":null}],"next_cursor":null}