{"total":18,"rows":[{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"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":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2304.01218","title":"POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems","created":"2023-03-31","cited_by_count":12,"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":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2310.09574","title":"Reduced Policy Optimization for Continuous Control with Hard Constraints","created":"2023-10-14","cited_by_count":6,"area":null},{"id":"2507.14850","title":"Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems","created":"2025-07-20","cited_by_count":5,"area":null},{"id":"2401.01841","title":"Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes","created":"2024-01-03","cited_by_count":4,"area":null},{"id":"2410.03955","title":"A Retention-Centric Framework for Continual Learning with Guaranteed Model Developmental Safety","created":"2024-10-04","cited_by_count":4,"area":null},{"id":"2309.10657","title":"Learning Adaptive Safety for Multi-Agent Systems","created":"2023-09-19","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":"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":"2602.00166","title":"Joint Continual Learning of Local Language Models and Cloud Offloading Decisions with Budget Constraints","created":"2026-01-29","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":"2503.00191","title":"Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees","created":"2025-02-28","cited_by_count":1,"area":null},{"id":"2512.17151","title":"Text-Conditioned Background Generation for Editable Multi-Layer Documents","created":"2025-12-19","cited_by_count":0,"area":null},{"id":"2608.09768","title":"ReliableNet: A Chance-Constrained Approach to Trustworthy Classification in Deep Learning","created":"2026-08-10","cited_by_count":0,"area":null}],"next_cursor":null}