Patel, Arjun, et al. “Learning-Based Control in Safety-Critical Systems: Lyapunov-Guided Reinforcement Learning, Barrier Functions, and Formal Guarantees”. Multidisciplinary Engineering Science Open, vol. 1, Feb. 2024, pp. 1-11, https://www.jmesopen.com/index.php/jmesopen/article/view/24.