Lewis, A. G., B. Horváth, and R. Costa. 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):99-107. https://doi.org/10.65521/ijacte.v14i2.2094.