Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments. European Journals of Emerging Computer Vision and Natural Language Processing, [S. l.], v. 2, n. 01, p. 9–13, 2025. Disponível em: https://parthenonfrontiers.com/index.php/ejecvnlp/article/view/453. Acesso em: 4 mar. 2026.