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. doi: 10.65521/ijacte.v14i2.2094.