J. Seipp, “Efficiently Computing Transitions in Cartesian Abstractions”, ICAPS, vol. 34, no. 1, pp. 509-513, May 2024.