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