(1)
Vinzent, M.; Steinmetz, M.; Hoffmann, J. Neural Network Action Policy Verification via Predicate Abstraction. ICAPS 2022, 32, 371-379.