Lewis, A. G., B. Horváth, and R. Costa. “A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions”. International Journal on Advanced Computer Theory and Engineering 14, no. 2 (October 18, 2025): 99–107. Accessed May 30, 2026. https://journals.mriindia.com/index.php/ijacte/article/view/2094.