@inproceedings{BKKS13,
  author    = {U. Boker and D. Kuperberg and O. Kupferman and M. Skrzypczak},
  title     = {Nondeterminism in the Presence of a Diverse or Unknown Future},
  booktitle = icalp13,
  pages     = {89-100},
  series    = lncs,
  volume    = {7966},
  year      = {2013}
}