@inproceedings{seipp-icaps2024,
  author       = {Jendrik Seipp},
  title        = {Efficiently Computing Transitions in {Cartesian} Abstractions},
  pages        = {509--513},
  editor       = {Sara Bernardini and Christian Muise},
  booktitle    = {Proceedings of the Thirty-Fourth International Conference on Automated
    Planning and Scheduling (ICAPS 2024)},
  year         = 2024,
  publisher    = {AAAI Press},
}