@inproceedings{seipp-helmert-aaai2013lbp,
    author = "Seipp, Jendrik and Helmert, Malte",
    editor = "desJardins, Marie and Littman, Michael L.",
    booktitle = "Late-Breaking Developments in the Field of Artificial Intelligence -- Papers Presented at the Twenty-Seventh {AAAI} Conference on Artificial Intelligence ({AAAI} 2013) -- {AAAI} Technical Report WS-13-17",
    pages = "119--121",
    publisher = "{AAAI} Press",
    title = "Additive Counterexample-guided {Cartesian} Abstraction Refinement",
    year = "2013"
}