2025. Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments. European Journals of Emerging Computer Vision and Natural Language Processing. 2, 01 (Feb. 2025), 9–13.