Jendrik Seipp. Efficiently Computing Transitions in Cartesian Abstractions. In Sara Bernardini, Christian Muise, editors, Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024. pages 509-513, AAAI Press, 2024. [doi]
Abstract is missing.