@TechReport{      BruyereFiliotRandourRaskin:BWC:arxiv,
  Author        = "Bruy{\`e}re, V{\'e}ronique and Filiot, Emmanuel and Randour, Mickael and Raskin, Jean-Fran{\c c}ois",
  date-added    = "2013-12-13 11:57:11 +0000",
  date-modified = "2015-01-16 09:55:59 +0000",
  EPrint        = "1309.5439",
  Keywords      = "Markov decision processes",
  Month         = "09",
  Title         = "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games",
  URL           = "http://arxiv.org/abs/1309.5439",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1309.5439",
  File          = "Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (0) (1) - a - a - a.pdf",
  file-2        = "Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (2) (0) - a - a - a.pdf"
}

@TechReport{ BruyereFiliotRandourRaskin:BWC:arxiv, Author = "Bruy{`e}re, V{\'e}ronique and Filiot, Emmanuel and Randour, Mickael and Raskin, Jean-Fran{\c c}ois", date-added = "2013-12-13 11:57:11 +0000", date-modified = "2015-01-16 09:55:59 +0000", EPrint = "1309.5439", Keywords = "Markov decision processes", Month = "09", Title = "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games", URL = "http://arxiv.org/abs/1309.5439", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1309.5439", File = "Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (0) (1) - a - a - a.pdf", file-2 = "Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (2) (0) - a - a - a.pdf" }