Vinzent, M.; Sharma, S.; Hoffmann, J. Neural Policy Safety Verification via Predicate Abstraction: CEGAR. AAAI 2023, 37, 15188-15196.