New Refinement Strategies for Cartesian Abstractions

David Speck 0001, Jendrik Seipp. New Refinement Strategies for Cartesian Abstractions. 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 348-352, AAAI Press, 2022. [doi]

Abstract

Abstract is missing.