Seipp, Jendrik. 2024. “Efficiently Computing Transitions in Cartesian Abstractions”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):509-13. https://doi.org/10.1609/icaps.v34i1.31511.