{"total":14,"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":"2403.08448","title":"Actor-Critic Physics-informed Neural Lyapunov Control","created":"2024-03-13","cited_by_count":8,"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":"2405.17832","title":"Mollification Effects of Policy Gradient Methods","created":"2024-05-28","cited_by_count":2,"area":"deeprl"},{"id":"2509.09863","title":"Off Policy Lyapunov Stability in Reinforcement Learning","created":"2025-09-11","cited_by_count":2,"area":"deeprl"},{"id":"2503.15629","title":"Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning","created":"2025-03-19","cited_by_count":1,"area":"deeprl"},{"id":"2505.10947","title":"Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions","created":"2025-05-16","cited_by_count":1,"area":"deeprl"},{"id":"2509.19110","title":"A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception","created":"2025-09-23","cited_by_count":0,"area":"deeprl"},{"id":"2512.24955","title":"MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control","created":"2025-12-31","cited_by_count":0,"area":"deeprl"},{"id":"2602.05311","title":"Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates","created":"2026-02-05","cited_by_count":0,"area":"deeprl"},{"id":"2603.00043","title":"Reinforcement Learning for Control with Probabilistic Stability Guarantee: A Finite-Sample Approach","created":"2026-02-09","cited_by_count":0,"area":"deeprl"},{"id":"2604.23312","title":"GIFT: Global stabilisation via Intrinsic Fine Tuning","created":"2026-04-25","cited_by_count":0,"area":"deeprl"},{"id":"2606.00840","title":"Certificate-Guided Evaluation of Reinforcement Learning Generalization","created":"2026-05-30","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}