M. Vinzent, S. Sharma, and J. Hoffmann, “Neural Policy Safety Verification via Predicate Abstraction: CEGAR”, AAAI, vol. 37, no. 12, pp. 15188–15196, Jun. 2023.