Vinzent, M., Steinmetz, M. and Hoffmann, J. (2022) “Neural Network Action Policy Verification via Predicate Abstraction”, Proceedings of the International Conference on Automated Planning and Scheduling, 32(1), pp. 371-379. Available at: https://ojs.aaai.org/index.php/ICAPS/article/view/19822 (Accessed: 8August2022).