@Article{         EtessamiKwiatkowskaVardiYannakakis,
  Author        = "Etessami, Kousha and Kwiatkowska, Marta and Vardi, Moshe Y. and Yannakakis, Mihalis",
  date-added    = "2014-04-16 14:55:56 +0000",
  date-modified = "2014-04-16 14:56:04 +0000",
  EPrint        = "0810.5728",
  Month         = "10",
  Title         = "Multi-Objective Model Checking of Markov Decision Processes",
  URL           = "http://arxiv.org/abs/0810.5728",
  Year          = "2008",
  bdsk-url-1    = "http://arxiv.org/abs/0810.5728",
  File          = "Multi-Objective Model Checking of Markov Decision Processes - Etessami, Kwiatkowska, Vardi, Yannakakis (0) (0) (0) (0) - a - a - s.pdf"
}

@Article{ EtessamiKwiatkowskaVardiYannakakis, Author = "Etessami, Kousha and Kwiatkowska, Marta and Vardi, Moshe Y. and Yannakakis, Mihalis", date-added = "2014-04-16 14:55:56 +0000", date-modified = "2014-04-16 14:56:04 +0000", EPrint = "0810.5728", Month = "10", Title = "Multi-Objective Model Checking of Markov Decision Processes", URL = "http://arxiv.org/abs/0810.5728", Year = "2008", bdsk-url-1 = "http://arxiv.org/abs/0810.5728", File = "Multi-Objective Model Checking of Markov Decision Processes - Etessami, Kwiatkowska, Vardi, Yannakakis (0) (0) (0) (0) - a - a - s.pdf" }