@inproceedings{seipp-helmert-aaai2013lbp,
  author       = {Jendrik Seipp and Malte Helmert},
  title        = {Additive Counterexample-guided {Cartesian} Abstraction Refinement},
  pages        = {119--121},
  editor       = {Marie desJardins and Michael L. Littman},
  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},
  publisher    = {{AAAI} Press},
  year         = 2013,
}