Seipp J. Efficiently Computing Transitions in Cartesian Abstractions. ICAPS [Internet]. 2024May30 [cited 2024Jul.12];34(1):509-13. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31511