Patel, A. et al. 2024. Learning-Based Control in Safety-Critical Systems: Lyapunov-Guided Reinforcement Learning, Barrier Functions, and Formal Guarantees. Multidisciplinary Engineering Science Open. 1, (Feb. 2024), 1–11.