{"total":242,"rows":[{"id":"2108.06266","title":"Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning","created":"2021-08-13","cited_by_count":371,"area":null},{"id":"2304.03279","title":"Do the Rewards Justify the Means? Measuring Trade-Offs Between Rewards and Ethical Behavior in the MACHIAVELLI Benchmark","created":"2023-04-06","cited_by_count":182,"area":null},{"id":"2205.10330","title":"A Review of Safe Reinforcement Learning: Methods, Theory and Applications","created":"2022-05-20","cited_by_count":181,"area":null},{"id":"2305.11391","title":"A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation","created":"2023-05-19","cited_by_count":93,"area":null},{"id":"2112.13112","title":"A Survey on Interpretable Reinforcement Learning","created":"2021-12-24","cited_by_count":73,"area":null},{"id":"2201.11927","title":"Constrained Variational Policy Optimization for Safe Reinforcement Learning","created":"2022-01-28","cited_by_count":71,"area":null},{"id":"2101.11196","title":"Safe Multi-Agent Reinforcement Learning via Shielding","created":"2021-01-27","cited_by_count":61,"area":null},{"id":"2204.00755","title":"Safe Reinforcement Learning via Shielding under Partial Observability","created":"2022-04-02","cited_by_count":56,"area":null},{"id":"2106.09110","title":"Safe Reinforcement Learning Using Advantage-Based Intervention","created":"2021-06-16","cited_by_count":47,"area":null},{"id":"2104.04413","title":"Provable Repair of Deep Neural Networks","created":"2021-04-09","cited_by_count":42,"area":null},{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"area":null},{"id":"2108.01846","title":"Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations","created":"2021-08-04","cited_by_count":39,"area":null},{"id":"2205.14691","title":"On the Robustness of Safe Reinforcement Learning under Observational Perturbations","created":"2022-05-29","cited_by_count":38,"area":null},{"id":"2205.06750","title":"Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking","created":"2022-05-13","cited_by_count":34,"area":null},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33,"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":"2310.03225","title":"Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms","created":"2023-10-05","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.10691","title":"Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes","created":"2022-10-19","cited_by_count":26,"area":null},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"area":null},{"id":"2210.10765","title":"When to Ask for Help: Proactive Interventions in Autonomous Reinforcement Learning","created":"2022-10-19","cited_by_count":21,"area":null},{"id":"2208.10605","title":"SoK: Explainable Machine Learning for Computer Security Applications","created":"2022-08-22","cited_by_count":20,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2209.07133","title":"COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking","created":"2022-09-15","cited_by_count":19,"area":null},{"id":"2205.06311","title":"Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments","created":"2022-05-12","cited_by_count":18,"area":null},{"id":"2310.03718","title":"Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning","created":"2023-10-05","cited_by_count":18,"area":null},{"id":"2110.09461","title":"In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications","created":"2021-10-18","cited_by_count":17,"area":null},{"id":"2209.13308","title":"Safe Reinforcement Learning of Dynamic High-Dimensional Robotic Tasks: Navigation, Manipulation, Interaction","created":"2022-09-27","cited_by_count":17,"area":null},{"id":"2211.10871","title":"SafeLight: A Reinforcement Learning Method toward Collision-free Traffic Signal Control","created":"2022-11-20","cited_by_count":15,"area":null},{"id":"2101.08153","title":"Shielding Atari Games with Bounded Prescience","created":"2021-01-20","cited_by_count":14,"area":null},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2205.04887","title":"Search-Based Testing of Reinforcement Learning","created":"2022-05-07","cited_by_count":13,"area":null},{"id":"2505.17342","title":"A Survey of Safe Reinforcement Learning and Constrained MDPs: A Technical Survey on Single-Agent and Multi-Agent Safety","created":"2025-05-22","cited_by_count":13,"area":null},{"id":"2208.14426","title":"Correct-by-Construction Runtime Enforcement in AI -- A Survey","created":"2022-08-30","cited_by_count":12,"area":null},{"id":"2301.05294","title":"Learning to Control and Coordinate Mixed Traffic Through Robot Vehicles at Complex and Unsignalized Intersections","created":"2023-01-12","cited_by_count":12,"area":null},{"id":"2207.13446","title":"Dynamic Shielding for Reinforcement Learning in Black-Box Environments","created":"2022-07-27","cited_by_count":11,"area":null},{"id":"2210.01801","title":"Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation","created":"2022-10-02","cited_by_count":11,"area":null},{"id":"2210.10865","title":"Robotic Table Wiping via Reinforcement Learning and Whole-body Trajectory Optimization","created":"2022-10-19","cited_by_count":11,"area":null},{"id":"2211.17250","title":"Safe and Efficient Reinforcement Learning Using Disturbance-Observer-Based Control Barrier Functions","created":"2022-11-30","cited_by_count":11,"area":null},{"id":"2302.06064","title":"Provably Safe Reinforcement Learning with Step-wise Violation Constraints","created":"2023-02-13","cited_by_count":11,"area":null},{"id":"2304.06281","title":"Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning","created":"2023-04-13","cited_by_count":11,"area":null},{"id":"2403.02619","title":"Training Machine Learning models at the Edge: A Survey","created":"2024-03-05","cited_by_count":11,"area":null},{"id":"2102.13446","title":"Safe Distributional Reinforcement Learning","created":"2021-02-26","cited_by_count":10,"area":null},{"id":"2111.04894","title":"Safe Policy Optimization with Local Generalized Linear Function Approximations","created":"2021-11-09","cited_by_count":10,"area":null},{"id":"2201.13248","title":"SafeAPT: Safe Simulation-to-Real Robot Learning using Diverse Policies Learned in Simulation","created":"2022-01-27","cited_by_count":10,"area":null},{"id":"2308.02594","title":"SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents","created":"2023-08-03","cited_by_count":10,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2102.09677","title":"Training a Resilient Q-Network against Observational Interference","created":"2021-02-18","cited_by_count":9,"area":null},{"id":"2112.08438","title":"Programmatic Reward Design by Example","created":"2021-12-14","cited_by_count":9,"area":null},{"id":"2112.09655","title":"Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report)","created":"2021-12-17","cited_by_count":9,"area":null},{"id":"2112.11490","title":"Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding","created":"2021-12-21","cited_by_count":9,"area":null},{"id":"2212.01838","title":"Automata Learning meets Shielding","created":"2022-12-04","cited_by_count":9,"area":null},{"id":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9,"area":null},{"id":"2310.08602","title":"Safe Deep Policy Adaptation","created":"2023-10-08","cited_by_count":9,"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":"2205.06212","title":"Contingency-constrained economic dispatch with safe reinforcement learning","created":"2022-05-12","cited_by_count":8,"area":null},{"id":"2308.14424","title":"Shielded Reinforcement Learning for Hybrid Systems","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2309.06239","title":"Risk-Aware Reinforcement Learning through Optimal Transport Theory","created":"2023-09-12","cited_by_count":8,"area":null},{"id":"2410.10460","title":"Compositional Shielding and Reinforcement Learning for Multi-Agent Systems","created":"2024-10-14","cited_by_count":8,"area":null},{"id":"2210.14492","title":"Provable Safe Reinforcement Learning with Binary Feedback","created":"2022-10-26","cited_by_count":7,"area":null},{"id":"2307.14316","title":"Reinforcement Learning by Guided Safe Exploration","created":"2023-07-26","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2201.03698","title":"Verified Probabilistic Policies for Deep Reinforcement Learning","created":"2022-01-10","cited_by_count":6,"area":null},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","cited_by_count":6,"area":null},{"id":"2506.15847","title":"SafeMimic: Towards Safe and Autonomous Human-to-Robot Imitation for Mobile Manipulation","created":"2025-06-18","cited_by_count":6,"area":null},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"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":"2108.03952","title":"Safe Deep Reinforcement Learning for Multi-Agent Systems with Continuous Action Spaces","created":"2021-08-09","cited_by_count":5,"area":null},{"id":"2111.05819","title":"Look Before You Leap: Safe Model-Based Reinforcement Learning with Human Intervention","created":"2021-11-10","cited_by_count":5,"area":null},{"id":"2202.09516","title":"Learning a Shield from Catastrophic Action Effects: Never Repeat the Same Mistake","created":"2022-02-19","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":"2207.04117","title":"Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents","created":"2022-07-08","cited_by_count":5,"area":null},{"id":"2208.13687","title":"Categorical semantics of compositional reinforcement learning","created":"2022-08-29","cited_by_count":5,"area":null},{"id":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","cited_by_count":5,"area":null},{"id":"2306.00035","title":"ROSARL: Reward-Only Safe Reinforcement Learning","created":"2023-05-31","cited_by_count":5,"area":null},{"id":"2308.00707","title":"Approximate Model-Based Shielding for Safe Reinforcement Learning","created":"2023-07-27","cited_by_count":5,"area":null},{"id":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2311.10026","title":"Guaranteeing Control Requirements via Reward Shaping in Reinforcement Learning","created":"2023-11-16","cited_by_count":5,"area":null},{"id":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5,"area":null},{"id":"2509.01728","title":"Constrained Decoding for Safe Robot Navigation Foundation Models","created":"2025-09-01","cited_by_count":5,"area":null},{"id":"2103.03793","title":"Learning Collision-free and Torque-limited Robot Trajectories based on Alternative Safe Behaviors","created":"2021-03-05","cited_by_count":4,"area":null},{"id":"2103.06602","title":"Symbolic Reinforcement Learning for Safe RAN Control","created":"2021-03-11","cited_by_count":4,"area":null},{"id":"2103.14489","title":"Probabilistic Planning with Preferences over Temporal Goals","created":"2021-03-26","cited_by_count":4,"area":null},{"id":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2112.11217","title":"Model-Based Safe Reinforcement Learning with Time-Varying State and Control Constraints: An Application to Intelligent Vehicles","created":"2021-12-18","cited_by_count":4,"area":null},{"id":"2205.10677","title":"Risk-Driven Design of Perception Systems","created":"2022-05-21","cited_by_count":4,"area":null},{"id":"2211.15349","title":"Shielding in Resource-Constrained Goal POMDPs","created":"2022-11-28","cited_by_count":4,"area":null},{"id":"2305.03608","title":"On the Optimality, Stability, and Feasibility of Control Barrier Functions: An Adaptive Learning-Based Approach","created":"2023-05-05","cited_by_count":4,"area":null},{"id":"2306.14055","title":"Transforming a Quadruped into a Guide Robot for the Visually Impaired: Formalizing Wayfinding, Interaction Modeling, and Safety Mechanism","created":"2023-06-24","cited_by_count":4,"area":null},{"id":"2306.17052","title":"Safe Model-Based Multi-Agent Mean-Field Reinforcement Learning","created":"2023-06-29","cited_by_count":4,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2407.19911","title":"Efficient Shield Synthesis via State-Space Transformation","created":"2024-07-29","cited_by_count":4,"area":null},{"id":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2106.06931","title":"Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning","created":"2021-06-13","cited_by_count":3,"area":null},{"id":"2107.12942","title":"Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts","created":"2021-07-27","cited_by_count":3,"area":null},{"id":"2109.06523","title":"Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking","created":"2021-09-14","cited_by_count":3,"area":null},{"id":"2203.16275","title":"Reinforcement Learning Guided by Provable Normative Compliance","created":"2022-03-30","cited_by_count":3,"area":null},{"id":"2205.04590","title":"A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems","created":"2022-05-09","cited_by_count":3,"area":null},{"id":"2209.09446","title":"A Joint Imitation-Reinforcement Learning Framework for Reduced Baseline Regret","created":"2022-09-20","cited_by_count":3,"area":null}],"next_cursor":"100"}