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