@Article{         Berthon:2017aa,
  Author        = {Berthon, Rapha{\"e}l and Randour, Mickael and Raskin, Jean-Fran{\c c}ois},
  Abstract      = "The beyond worst-case synthesis problem was introduced recently by Bruy\`ere et al. [BFRR14]: it aims at building system controllers that provide strict worst-case performance guarantees against an antagonistic environment while ensuring higher expected performance against a stochastic model of the environment. Our work extends the framework of [BFRR14] and follow-up papers, which focused on quantitative objectives, by addressing the case of $\omega$-regular conditions encoded as parity objectives, a natural way to represent functional requirements of systems.",
  date-added    = "2017-02-27 08:32:19 +0000",
  date-modified = "2017-02-27 08:32:45 +0000",
  EPrint        = "1702.05472",
  Keywords      = "citesme!",
  Month         = "02",
  Title         = "Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes",
  URL           = "https://arxiv.org/abs/1702.05472",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1702.05472",
  File          = "1702.05472 (0) - a - a - a.pdf"
}

@Article{ Berthon:2017aa, Author = {Berthon, Rapha{\"e}l and Randour, Mickael and Raskin, Jean-Fran{\c c}ois}, Abstract = "The beyond worst-case synthesis problem was introduced recently by Bruy`ere et al. [BFRR14]: it aims at building system controllers that provide strict worst-case performance guarantees against an antagonistic environment while ensuring higher expected performance against a stochastic model of the environment. Our work extends the framework of [BFRR14] and follow-up papers, which focused on quantitative objectives, by addressing the case of $\omega$-regular conditions encoded as parity objectives, a natural way to represent functional requirements of systems.", date-added = "2017-02-27 08:32:19 +0000", date-modified = "2017-02-27 08:32:45 +0000", EPrint = "1702.05472", Keywords = "citesme!", Month = "02", Title = "Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes", URL = "https://arxiv.org/abs/1702.05472", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1702.05472", File = "1702.05472 (0) - a - a - a.pdf" }