@InProceedings{thiem2015counterexample,
  author    = "Jonas Thiem and Robert Mattm{\"u}ller and Manuela Ortlieb",
  title     = "Counterexample-Guided Abstraction Refinement for {POND} Planning",
  booktitle = "Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015)",
  year      = "2015",
  note      = "To appear"
}