@InProceedings{speck2015necessary,
  author    = "David Speck and Manuela Ortlieb and Robert Mattm{\"u}ller",
  title     = "Necessary Observations in Nondeterministic Planning",
  booktitle = "Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015)",
  year      = "2015",
  note      = "To appear"
}