@InProceedings{winterer2015stubborn,
  author    = "Dominik Winterer and Robert Mattm{\"u}ller and Martin Wehrle",
  title     = "Stubborn Sets for Fully Observable Nondeterministic Planning",
  booktitle = "Proceedings of the ICAPS-2015 Workshop on Model Checking and Automated Planning (MOCHAP 2015)",
  year      = "2015",
  note      = "To appear"
}