@Article{         BohyBruyereRaskin,
  Author        = "Bohy, Aaron and Bruy{\`e}re, V{\'e}ronique and Raskin, Jean-Fran{\c c}ois",
  date-added    = "2014-06-22 11:47:26 +0000",
  date-modified = "2014-06-22 11:47:34 +0000",
  EPrint        = "1402.1076",
  Month         = "02",
  Title         = "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes",
  URL           = "http://arxiv.org/abs/1402.1076",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1402.1076",
  File          = "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes - Bohy, Bruyère, Raskin (0) (0) - a - a - r.pdf"
}

@Article{ BohyBruyereRaskin, Author = "Bohy, Aaron and Bruy{`e}re, V{\'e}ronique and Raskin, Jean-Fran{\c c}ois", date-added = "2014-06-22 11:47:26 +0000", date-modified = "2014-06-22 11:47:34 +0000", EPrint = "1402.1076", Month = "02", Title = "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes", URL = "http://arxiv.org/abs/1402.1076", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1402.1076", File = "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes - Bohy, Bruyère, Raskin (0) (0) - a - a - r.pdf" }