@Unpublished{     gimbert:hal-00559173,
  Author        = "Gimbert, Hugo and Oualhadj, Youssouf and Paul, Soumya",
  Abstract      = "{We study Markov decision processes (one-player stochastic games) equipped with parity and positive-average conditions. In these games, the goal of the player is to maximize the probability that both the parity and the positive-average conditions are fulfilled. We show that the values of these games are computable. We also show that optimal strategies exist, require only finite memory and can be effectively computed.}",
  affiliation   = "Laboratoire Bordelais de Recherche en Informatique - LaBRI , Institute of Mathematical Sciences [India] - IMSc",
  date-added    = "2014-01-24 14:35:17 +0000",
  date-modified = "2014-01-24 14:35:17 +0000",
  hal_id        = "hal-00559173",
  Keywords      = "Quantitative analysis; Parity games; Markov decision processes",
  Language      = "English",
  Month         = "January",
  PDF           = "http://hal.archives-ouvertes.fr/hal-00559173/PDF/Gimbert\\_Oualhadj\\_Paul\\_MDPs\\_parity\\_positiveaverage.pdf",
  Title         = "{Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions}",
  URL           = "http://hal.archives-ouvertes.fr/hal-00559173",
  Year          = "2011",
  bdsk-url-1    = "http://hal.archives-ouvertes.fr/hal-00559173",
  File          = "Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions - Gimbert, Oualhadj, Paul (0) (0) - a - a - r.pdf"
}

@Unpublished{ gimbert:hal-00559173, Author = "Gimbert, Hugo and Oualhadj, Youssouf and Paul, Soumya", Abstract = "{We study Markov decision processes (one-player stochastic games) equipped with parity and positive-average conditions. In these games, the goal of the player is to maximize the probability that both the parity and the positive-average conditions are fulfilled. We show that the values of these games are computable. We also show that optimal strategies exist, require only finite memory and can be effectively computed.}", affiliation = "Laboratoire Bordelais de Recherche en Informatique - LaBRI , Institute of Mathematical Sciences [India] - IMSc", date-added = "2014-01-24 14:35:17 +0000", date-modified = "2014-01-24 14:35:17 +0000", hal_id = "hal-00559173", Keywords = "Quantitative analysis; Parity games; Markov decision processes", Language = "English", Month = "January", PDF = "http://hal.archives-ouvertes.fr/hal-00559173/PDF/Gimbert\_Oualhadj\_Paul\_MDPs\_parity\_positiveaverage.pdf", Title = "{Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions}", URL = "http://hal.archives-ouvertes.fr/hal-00559173", Year = "2011", bdsk-url-1 = "http://hal.archives-ouvertes.fr/hal-00559173", File = "Computing Optimal Strategies for Markov Decision Processes with Parity and Positive-Average Conditions - Gimbert, Oualhadj, Paul (0) (0) - a - a - r.pdf" }