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.