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