“ Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments” (2025) European Journals of Emerging Computer Vision and Natural Language Processing, 2(01), pp. 9–13. Available at: https://www.parthenonfrontiers.com/index.php/ejecvnlp/article/view/453 (Accessed: 22 February 2026).