@inproceedings{ICAPS20paper45,
  title     = {Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement},
  author    = {Jendrik Seipp and Samuel von Allmen and Malte Helmert},
  booktitle = {Proceedings of the 30th International Conference on Automated Planning and Scheduling ({ICAPS})},
  publisher = {{AAAI} Press},
  pages     = {244--248},
  year      = {2020}
}