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.