“ 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): 9-13. https://www.parthenonfrontiers.com/index.php/ejecvnlp/article/view/453.