@Unpublished{     GimbertOualhadj,
  Author        = "Gimbert, Hugo and Oualhadj, Youssouf",
  date-added    = "2013-12-18 12:59:57 +0000",
  date-modified = "2013-12-18 13:00:18 +0000",
  Keywords      = "probabilistic automata",
  Title         = {Deciding the Value 1 Problem for acyclic Partially Observable Markov Decision Processes},
  Year          = "2013",
  File          = "Deciding the Value 1 Problem for ♯-acyclic Partially Observable Markov Decision Processes - Gimbert, Oualhadj (0) (0) - a - a - d.pdf"
}

@Unpublished{ GimbertOualhadj, Author = "Gimbert, Hugo and Oualhadj, Youssouf", date-added = "2013-12-18 12:59:57 +0000", date-modified = "2013-12-18 13:00:18 +0000", Keywords = "probabilistic automata", Title = {Deciding the Value 1 Problem for acyclic Partially Observable Markov Decision Processes}, Year = "2013", File = "Deciding the Value 1 Problem for ♯-acyclic Partially Observable Markov Decision Processes - Gimbert, Oualhadj (0) (0) - a - a - d.pdf" }