Seipp, J. Efficiently Computing Transitions in Cartesian Abstractions. ICAPS 2024, 34, 509-513.