{"total":127,"rows":[{"id":"2312.08782","title":"Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis","created":"2023-12-14","cited_by_count":103,"area":null},{"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":"2202.07789","title":"Safe Reinforcement Learning by Imagining the Near Future","created":"2022-02-15","cited_by_count":67,"area":null},{"id":"2205.07536","title":"Reachability Constrained Reinforcement Learning","created":"2022-05-16","cited_by_count":59,"area":null},{"id":"2310.05921","title":"Conformal Decision Theory: Safe Autonomous Decisions from Imperfect Predictions","created":"2023-10-09","cited_by_count":50,"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":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41,"area":null},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"area":null},{"id":"2211.11056","title":"Safe Control Under Input Limits with Neural Control Barrier Functions","created":"2022-11-20","cited_by_count":29,"area":null},{"id":"2206.10524","title":"Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control","created":"2022-06-21","cited_by_count":28,"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":"2105.14937","title":"Safe Pontryagin Differentiable Programming","created":"2021-05-31","cited_by_count":26,"area":null},{"id":"2312.08604","title":"Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction","created":"2023-12-14","cited_by_count":23,"area":null},{"id":"2110.01110","title":"Safe Control with Neural Network Dynamic Models","created":"2021-10-03","cited_by_count":22,"area":null},{"id":"2105.04682","title":"Value Iteration in Continuous Actions, States and Time","created":"2021-05-10","cited_by_count":18,"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":"2112.07701","title":"Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning","created":"2021-12-14","cited_by_count":16,"area":null},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"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":"2302.00171","title":"Active Uncertainty Reduction for Safe and Efficient Interaction Planning: A Shielding-Aware Dual Control Approach","created":"2023-02-01","cited_by_count":15,"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":"2110.01388","title":"Neural Network Verification in Control","created":"2021-09-30","cited_by_count":14,"area":null},{"id":"2110.07699","title":"Safe Autonomous Racing via Approximate Reachability on Ego-vision","created":"2021-10-14","cited_by_count":13,"area":null},{"id":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"area":null},{"id":"2406.02983","title":"FREA: Feasibility-Guided Generation of Safety-Critical Scenarios with Reasonable Adversariality","created":"2024-06-05","cited_by_count":13,"area":null},{"id":"2110.00843","title":"SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction","created":"2021-10-02","cited_by_count":12,"area":null},{"id":"2209.12336","title":"Generating Formal Safety Assurances for High-Dimensional Reachability","created":"2022-09-25","cited_by_count":11,"area":null},{"id":"2212.06874","title":"Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems","created":"2022-12-13","cited_by_count":11,"area":null},{"id":"2405.03164","title":"The Role of Predictive Uncertainty and Diversity in Embodied AI and Robot Learning","created":"2024-05-06","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":"2107.04775","title":"LS3: Latent Space Safe Sets for Long-Horizon Visuomotor Control of Sparse Reward Iterative Tasks","created":"2021-07-10","cited_by_count":10,"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":"2201.01347","title":"Learning Differentiable Safety-Critical Control using Control Barrier Functions for Generalization to Novel Environments","created":"2022-01-04","cited_by_count":9,"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":"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":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2412.09989","title":"One Filter to Deploy Them All: Robust Safety for Quadrupedal Navigation in Unknown Environments","created":"2024-12-13","cited_by_count":9,"area":null},{"id":"2103.05746","title":"Analyzing Human Models that Adapt Online","created":"2021-03-09","cited_by_count":8,"area":null},{"id":"2105.12189","title":"Robust Value Iteration for Continuous Control Tasks","created":"2021-05-25","cited_by_count":8,"area":null},{"id":"2112.03575","title":"MESA: Offline Meta-RL for Safe Adaptation and Fault Tolerance","created":"2021-12-07","cited_by_count":8,"area":null},{"id":"2308.12252","title":"How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy","created":"2023-08-23","cited_by_count":8,"area":null},{"id":"2402.06562","title":"Safe Guaranteed Exploration for Non-linear Systems","created":"2024-02-09","cited_by_count":8,"area":null},{"id":"2105.12204","title":"Safe Value Functions","created":"2021-05-25","cited_by_count":7,"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":"2604.07644","title":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","created":"2026-04-08","cited_by_count":7,"area":null},{"id":"2110.01954","title":"Continuous-Time Fitted Value Iteration for Robust Policies","created":"2021-10-05","cited_by_count":6,"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":"2411.15036","title":"Safe Multi-Agent Reinforcement Learning with Convergence to Generalized Nash Equilibrium","created":"2024-11-22","cited_by_count":6,"area":null},{"id":"2504.15425","title":"Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL","created":"2025-04-21","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":"2105.06551","title":"Axes for Sociotechnical Inquiry in AI Research","created":"2021-04-26","cited_by_count":5,"area":null},{"id":"2205.05787","title":"Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models","created":"2022-05-11","cited_by_count":5,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2110.05702","title":"Auditing Robot Learning for Safety and Compliance during Deployment","created":"2021-10-12","cited_by_count":4,"area":null},{"id":"2112.07569","title":"Cooperation for Scalable Supervision of Autonomy in Mixed Traffic","created":"2021-12-14","cited_by_count":4,"area":null},{"id":"2309.13475","title":"Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers","created":"2023-09-23","cited_by_count":4,"area":null},{"id":"2310.07207","title":"Robust Safe Reinforcement Learning under Adversarial Disturbances","created":"2023-10-11","cited_by_count":4,"area":null},{"id":"2401.05629","title":"Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation","created":"2024-01-11","cited_by_count":4,"area":null},{"id":"2407.11609","title":"Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift","created":"2024-07-16","cited_by_count":4,"area":null},{"id":"2503.17395","title":"CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions","created":"2025-03-18","cited_by_count":4,"area":null},{"id":"2511.07899","title":"Statistically Assuring Safety of Control Systems using Ensembles of Safety Filters and Conformal Prediction","created":"2025-11-11","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":"2311.06769","title":"Learning Predictive Safety Filter via Decomposition of Robust Invariant Set","created":"2023-11-12","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":"2410.20267","title":"Learning Maximal Safe Sets Using Hypernetworks for MPC-based Local Trajectory Planning in Unknown Environments","created":"2024-10-26","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":"2412.04426","title":"Towards Fast Safe Online Reinforcement Learning via Policy Finetuning","created":"2024-12-05","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":"2509.18626","title":"The Case for Negative Data: From Crash Reports to Counterfactuals for Reasonable Driving","created":"2025-09-23","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":"2208.10733","title":"Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions","created":"2022-08-23","cited_by_count":2,"area":null},{"id":"2503.04750","title":"AI Agents Should be Regulated Based on the Extent of Their Autonomous Operations","created":"2025-02-07","cited_by_count":2,"area":null},{"id":"2503.06083","title":"T-CBF: Traversability-based Control Barrier Function to Navigate Vertically Challenging Terrain","created":"2025-03-08","cited_by_count":2,"area":null},{"id":"2503.23912","title":"Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets","created":"2025-03-31","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.16614","title":"ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks","created":"2025-09-20","cited_by_count":2,"area":null},{"id":"2601.05637","title":"GenCtrl -- A Formal Controllability Toolkit for Generative Models","created":"2026-01-09","cited_by_count":2,"area":null},{"id":"2604.18482","title":"Safe Control using Learned Safety Filters and Adaptive Conformal Inference","created":"2026-04-20","cited_by_count":2,"area":null},{"id":"2307.00828","title":"Model-Assisted Probabilistic Safe Adaptive Control With Meta-Bayesian Learning","created":"2023-07-03","cited_by_count":1,"area":null},{"id":"2307.01917","title":"Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers","created":"2023-07-04","cited_by_count":1,"area":null},{"id":"2402.01617","title":"A GP-based Robust Motion Planning Framework for Agile Autonomous Robot Navigation and Recovery in Unknown Environments","created":"2024-02-02","cited_by_count":1,"area":null},{"id":"2402.09246","title":"Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots","created":"2024-02-14","cited_by_count":1,"area":null},{"id":"2404.16883","title":"Myopically Verifiable Probabilistic Certificates for Safe Control and Learning","created":"2024-04-23","cited_by_count":1,"area":null},{"id":"2405.11397","title":"Preparing for Black Swans: The Antifragility Imperative for Machine Learning","created":"2024-05-18","cited_by_count":1,"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":"2504.11045","title":"Neural Control Barrier Functions from Physics Informed Neural Networks","created":"2025-04-15","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":"2603.06921","title":"CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environments","created":"2026-03-06","cited_by_count":1,"area":null},{"id":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2604.07457","title":"CMP: Robust Whole-Body Tracking for Loco-Manipulation via Competence Manifold Projection","created":"2026-04-08","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":"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":"2108.03150","title":"Attainment Regions in Feature-Parameter Space for High-Level Debugging in Autonomous Robots","created":"2021-08-06","cited_by_count":0,"area":null},{"id":"2302.14803","title":"Learned Risk Metric Maps for Kinodynamic Systems","created":"2023-02-28","cited_by_count":0,"area":null}],"next_cursor":"100"}