“ Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments”, Eur. J. Emerg. Comput. Vis. Nat. Lang. Process., vol. 2, no. 01, pp. 9–13, Feb. 2025, Accessed: Feb. 22, 2026. [Online]. Available: https://www.parthenonfrontiers.com/index.php/ejecvnlp/article/view/453