{"total":15,"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":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","cited_by_count":39,"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":"2105.08881","title":"Enforcing Policy Feasibility Constraints through Differentiable Projection for Energy Optimization","created":"2021-05-19","cited_by_count":31,"area":null},{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"area":null},{"id":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"area":null},{"id":"2310.08565","title":"Security Considerations in AI-Robotics: A Survey of Current Methods, Challenges, and Opportunities","created":"2023-10-12","cited_by_count":9,"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":"2212.05337","title":"Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking","created":"2022-12-10","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":"2209.14148","title":"Guiding Safe Exploration with Weakest Preconditions","created":"2022-09-28","cited_by_count":3,"area":null},{"id":"2406.11563","title":"Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI","created":"2024-06-17","cited_by_count":3,"area":null},{"id":"2501.03187","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","created":"2025-01-06","cited_by_count":3,"area":null},{"id":"2504.03272","title":"Verification of Autonomous Neural Car Control with KeYmaera X","created":"2025-04-04","cited_by_count":1,"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}],"next_cursor":null}