Patel A, Mostafa A, Yılmaz E. Learning-Based Control in Safety-Critical Systems: Lyapunov-Guided Reinforcement Learning, Barrier Functions, and Formal Guarantees. MESO [Internet]. 2024 Feb. 1 [cited 2026 Jan. 30];1:1-11. Available from: https://www.jmesopen.com/index.php/jmesopen/article/view/24