Vinzent, M.; Hermanns, H.; Hoffmann, J. Probabilistic Safety Verification of Neural Policies via Predicate Abstraction. AAAI 2026, 40, 36438-36447.