@inproceedings{seipp-et-al-icaps2020,
  author       = {Jendrik Seipp and Samuel {von Allmen} and Malte Helmert},
  title        = {Incremental Search for Counterexample-Guided {Cartesian} Abstraction
    Refinement},
  pages        = {244--248},
  editor       = {J. Christopher Beck and Erez Karpas and Shirin Sohrabi},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
    Planning and Scheduling (ICAPS 2020)},
  year         = 2020,
  publisher    = {AAAI Press},
}