A. G. Lewis, 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”, Int Journal Adv Comp Theory Engg, vol. 14, no. 2, pp. 99–107, Oct. 2025.