Lewis, A. G., Horváth, B. and Costa, R. (2025) “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(2), pp. 99–107. Available at: https://journals.mriindia.com/index.php/ijacte/article/view/2094 (Accessed: 15 April 2026).