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