{"total":11,"rows":[{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"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":"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":"2503.03911","title":"Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis","created":"2025-03-05","cited_by_count":9,"area":null},{"id":"2211.11027","title":"Safe Reinforcement Learning using Data-Driven Predictive Control","created":"2022-11-20","cited_by_count":5,"area":null},{"id":"2501.10396","title":"AI-Powered CPS-Enabled Vulnerable-User-Aware Urban Transportation Digital Twin: Methods and Applications","created":"2024-12-30","cited_by_count":1,"area":null},{"id":"2305.05354","title":"Safe Deep RL for Intraoperative Planning of Pedicle Screw Placement","created":"2023-05-09","cited_by_count":0,"area":null},{"id":"2305.15193","title":"Adaptive Policy Learning to Additional Tasks","created":"2023-05-24","cited_by_count":0,"area":null},{"id":"2506.02754","title":"Safely Learning Controlled Stochastic Dynamics","created":"2025-06-03","cited_by_count":0,"area":null},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2609.09250","title":"No Free Checker: A Survey of Verifiers for Robot Policies","created":"2026-09-08","cited_by_count":0,"area":null}],"next_cursor":null}