M. Vinzent, M. Steinmetz, and J. Hoffmann, “Neural Network Action Policy Verification via Predicate Abstraction”, ICAPS, vol. 32, no. 1, pp. 371-379, Jun. 2022.