Vinzent, Marcel, et al. “Probabilistic Safety Verification of Neural Policies via Predicate Abstraction”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 43, Mar. 2026, pp. 36438-47, doi:10.1609/aaai.v40i43.40965.