Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments. Eur. J. Emerg. Comput. Vis. Nat. Lang. Process. [Internet]. 2025 Feb. 3 [cited 2026 Mar. 1];2(01):9-13. Available from: https://parthenonfrontiers.com/index.php/ejecvnlp/article/view/453