Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments. Eur. J. Emerg. Comput. Vis. Nat. Lang. Process. 2025;2(01):9-13. Accessed February 22, 2026. https://www.parthenonfrontiers.com/index.php/ejecvnlp/article/view/453