Marcel Vinzent, Marcel Steinmetz, Jörg Hoffmann 0001. Neural Network Action Policy Verification via Predicate Abstraction. In Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh 0001, editors, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022. pages 371-379, AAAI Press, 2022. [doi]
Abstract is missing.