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