Lewis, A. G., Horváth, B., & 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), 99–107. Retrieved from https://journals.mriindia.com/index.php/ijacte/article/view/2094