@inproceedings{speck-et-al-ki2015,
  title        = {Necessary Observations in Nondeterministic Planning},
  author       = {David Speck and Manuela Ortlieb and Robert Mattm{\"u}ller},
  pages        = {181--193},
  editor       = {Steffen H{\"o}lldobler and Markus Kr{\"o}tzsch and Rafael
    Pe{\~n}aloza-Nyssen and Sebastian Rudolph},
  booktitle    = {Proceedings of the 38th Annual German Conference on Artificial
    Intelligence (KI 2015)},
  publisher    = {Springer-Verlag},
  series       = {Lecture Notes in Artificial Intelligence},
  volume       = 9324,
  year         = 2015,
}