{"total":42,"rows":[{"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":"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":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"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":"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":"2308.02594","title":"SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents","created":"2023-08-03","cited_by_count":10,"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":"2302.10030","title":"Safe Deep Reinforcement Learning by Verifying Task-Level Properties","created":"2023-02-20","cited_by_count":9,"area":null},{"id":"2405.18209","title":"Safe Multi-Agent Reinforcement Learning with Bilevel Optimization in Autonomous Driving","created":"2024-05-28","cited_by_count":9,"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":"2306.06808","title":"Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications","created":"2023-06-11","cited_by_count":7,"area":null},{"id":"2306.07749","title":"Provably Learning Nash Policies in Constrained Markov Potential Games","created":"2023-06-13","cited_by_count":7,"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.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","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":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","cited_by_count":5,"area":null},{"id":"2305.10091","title":"Multi-Agent Reinforcement Learning: Methods, Applications, Visionary Prospects, and Challenges","created":"2023-05-17","cited_by_count":5,"area":null},{"id":"2311.00063","title":"Safe multi-agent motion planning under uncertainty for drones using filtered reinforcement learning","created":"2023-10-31","cited_by_count":5,"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":"2206.08881","title":"Logic-based Reward Shaping for Multi-Agent Reinforcement Learning","created":"2022-06-17","cited_by_count":3,"area":null},{"id":"2307.02164","title":"Safety Shielding under Delayed Observation","created":"2023-07-05","cited_by_count":3,"area":null},{"id":"2204.10063","title":"Resilient robot teams: a review integrating decentralised control, change-detection, and learning","created":"2022-04-21","cited_by_count":2,"area":null},{"id":"2209.11789","title":"SAFER: Safe Collision Avoidance using Focused and Efficient Trajectory Search with Reinforcement Learning","created":"2022-09-23","cited_by_count":2,"area":null},{"id":"2304.11104","title":"Approximate Shielding of Atari Agents for Safe Exploration","created":"2023-04-21","cited_by_count":2,"area":null},{"id":"2310.06835","title":"Scalable Semantic Non-Markovian Simulation Proxy for Reinforcement Learning","created":"2023-10-10","cited_by_count":2,"area":null},{"id":"2508.20315","title":"Multi-Agent Reinforcement Learning in Intelligent Transportation Systems: A Comprehensive Survey","created":"2025-08-27","cited_by_count":2,"area":null},{"id":"2605.10888","title":"Shields to Guarantee Probabilistic Safety in MDPs","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2606.18308","title":"TRIDENT: Breaking the Hybrid-Safety-Physics Coupling for Provably Safe Multi-Agent Reinforcement Learning","created":"2026-06-16","cited_by_count":2,"area":null},{"id":"2410.23637","title":"Anytime-Constrained Equilibria in Polynomial Time","created":"2024-10-31","cited_by_count":1,"area":null},{"id":"2411.04867","title":"Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning","created":"2024-11-07","cited_by_count":1,"area":null},{"id":"2501.12061","title":"Tackling Uncertainties in Multi-Agent Reinforcement Learning through Integration of Agent Termination Dynamics","created":"2025-01-21","cited_by_count":1,"area":null},{"id":"2505.14689","title":"Follow the STARs: Dynamic $\\omega$-Regular Shielding of Learned Policies","created":"2025-04-11","cited_by_count":1,"area":null},{"id":"2302.13844","title":"Safe Multi-agent Learning via Trapping Regions","created":"2023-02-27","cited_by_count":0,"area":null},{"id":"2306.14816","title":"Experiments with Detecting and Mitigating AI Deception","created":"2023-06-26","cited_by_count":0,"area":null},{"id":"2404.01551","title":"Safety-Aware Multi-Agent Learning for Dynamic Network Bridging","created":"2024-04-02","cited_by_count":0,"area":null},{"id":"2505.22104","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","created":"2025-05-28","cited_by_count":0,"area":null},{"id":"2507.16635","title":"Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems","created":"2025-07-22","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2606.13621","title":"Shielded Analysis: Certification and Characterization of Defensibility in Systems under Adversarial Interaction","created":"2026-06-11","cited_by_count":0,"area":null},{"id":"2606.14130","title":"Contract-Based Compositional Shielding for Safe Multi-Agent Reinforcement Learning","created":"2026-06-12","cited_by_count":0,"area":null}],"next_cursor":null}