Lewis, A. G., et al. “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, vol. 14, no. 2, Oct. 2025, pp. 99-107, doi:10.65521/ijacte.v14i2.2094.