“ Formal Verification of Learning-Based Neural Agents in Non-Deterministic and Hybrid Environments”. European Journals of Emerging Computer Vision and Natural Language Processing, vol. 2, no. 01, Feb. 2025, pp. 9-13, https://www.parthenonfrontiers.com/index.php/ejecvnlp/article/view/453.