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