@Article{         Mayr:2017aa,
  Author        = "Mayr, Richard and Schewe, Sven and Totzke, Patrick and Wojtczak, Dominik",
  Abstract      = "Energy-parity objectives combine $\omega$-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective.",
  date-added    = "2017-03-28 12:49:22 +0000",
  date-modified = "2017-03-28 12:49:22 +0000",
  EPrint        = "1701.02546",
  Month         = "01",
  Title         = "MDPs with Energy-Parity Objectives",
  URL           = "https://arxiv.org/abs/1701.02546",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1701.02546",
  File          = "1701.02546 (0) - a - a - o.pdf",
  file-2        = "MSTW2017 (0) - a - a - o.pdf"
}

@Article{ Mayr:2017aa, Author = "Mayr, Richard and Schewe, Sven and Totzke, Patrick and Wojtczak, Dominik", Abstract = "Energy-parity objectives combine $\omega$-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective.", date-added = "2017-03-28 12:49:22 +0000", date-modified = "2017-03-28 12:49:22 +0000", EPrint = "1701.02546", Month = "01", Title = "MDPs with Energy-Parity Objectives", URL = "https://arxiv.org/abs/1701.02546", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1701.02546", File = "1701.02546 (0) - a - a - o.pdf", file-2 = "MSTW2017 (0) - a - a - o.pdf" }