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. International Journal on Advanced Computer Theory and Engineering, [S. l.], v. 14, n. 2, p. 99–107, 2025. Disponível em: https://journals.mriindia.com/index.php/ijacte/article/view/2094. Acesso em: 15 apr. 2026.