{"total":24,"rows":[{"id":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16,"area":"deeprl"},{"id":"2407.09645","title":"Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey","created":"2024-07-12","cited_by_count":16,"area":"deeprl"},{"id":"2410.22600","title":"Solving Minimum-Cost Reach Avoid using Reinforcement Learning","created":"2024-10-29","cited_by_count":14,"area":"deeprl"},{"id":"2405.20860","title":"Enhancing Efficiency of Safe Reinforcement Learning via Sample Manipulation","created":"2024-05-31","cited_by_count":9,"area":"deeprl"},{"id":"2508.01561","title":"One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning","created":"2025-08-03","cited_by_count":8,"area":"deeprl"},{"id":"2405.15994","title":"Verified Safe Reinforcement Learning for Neural Network Dynamic Models","created":"2024-05-25","cited_by_count":7,"area":"deeprl"},{"id":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4,"area":"deeprl"},{"id":"2510.18082","title":"Provably Optimal Reinforcement Learning under Safety Filtering","created":"2025-10-20","cited_by_count":3,"area":"deeprl"},{"id":"2506.11033","title":"Adaptive Shielding for Safe Reinforcement Learning under Hidden-Parameter Dynamics Shifts","created":"2025-05-20","cited_by_count":2,"area":"deeprl"},{"id":"2603.23889","title":"Off-Policy Safe Reinforcement Learning with Constrained Optimistic Exploration","created":"2026-03-25","cited_by_count":2,"area":"deeprl"},{"id":"2404.01598","title":"Extremum-Seeking Action Selection for Accelerating Policy Optimization","created":"2024-04-02","cited_by_count":1,"area":"deeprl"},{"id":"2602.16475","title":"Certifying Hamilton-Jacobi Reachability Learned via Reinforcement Learning","created":"2026-02-18","cited_by_count":1,"area":"deeprl"},{"id":"2604.25508","title":"Dyna-Style Safety Augmented Reinforcement Learning: Staying Safe in the Face of Uncertainty","created":"2026-04-28","cited_by_count":1,"area":"deeprl"},{"id":"2605.00667","title":"Augmented Lagrangian Multiplier Network for State-wise Safety in Reinforcement Learning","created":"2026-05-01","cited_by_count":1,"area":"deeprl"},{"id":"2605.25267","title":"Latent Q-Barrier Shielding for Safe In-Context Reinforcement Learning","created":"2026-05-24","cited_by_count":1,"area":"deeprl"},{"id":"2510.11491","title":"Constraint-Aware Reinforcement Learning via Adaptive Action Scaling","created":"2025-10-13","cited_by_count":0,"area":"deeprl"},{"id":"2601.08050","title":"Unifying Hamilton-Jacobi Reachability and Reinforcement Learning","created":"2026-01-12","cited_by_count":0,"area":"deeprl"},{"id":"2602.15817","title":"Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning","created":"2026-02-17","cited_by_count":0,"area":"deeprl"},{"id":"2603.07546","title":"COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance","created":"2026-03-08","cited_by_count":0,"area":"deeprl"},{"id":"2605.11975","title":"Stochastic Minimum-Cost Reach-Avoid Reinforcement Learning","created":"2026-05-12","cited_by_count":0,"area":"deeprl"},{"id":"2607.15457","title":"Robust Peak-cost Constrained Reinforcement Learning","created":"2026-07-16","cited_by_count":0,"area":"deeprl"},{"id":"2609.32952","title":"Constrained Flow Policy Updates: A Generalized Schr\\\"odinger Bridge View","created":"2026-09-26","cited_by_count":0,"area":"deeprl"},{"id":"2610.01344","title":"Reachability-Informed Reinforcement Learning for Multi-Impulse Interplanetary Transfers","created":"2026-10-01","cited_by_count":0,"area":"deeprl"},{"id":"2610.02520","title":"Instance-Dependent Regret for CMDPs with Step-Wise Constraints","created":"2026-10-01","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}