Lewis, A. G.; Horváth, B.; Costa, R. 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 2025, 14, 99-107.