Vinzent, Marcel, Marcel Steinmetz, and Jörg Hoffmann. 2022. “Neural Network Action Policy Verification via Predicate Abstraction”. Proceedings of the International Conference on Automated Planning and Scheduling 32 (1):371-79. https://ojs.aaai.org/index.php/ICAPS/article/view/19822.