Lewis AG, 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 [Internet]. 2025 Oct. 18 [cited 2026 May 30];14(2):99-107. Available from: https://journals.mriindia.com/index.php/ijacte/article/view/2094