Vinzent, M., Hermanns, H. and Hoffmann, J. (2026) “Probabilistic Safety Verification of Neural Policies via Predicate Abstraction”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(43), pp. 36438–36447. doi: 10.1609/aaai.v40i43.40965.