@Article{         Brazdil:2012vn,
  Author        = "Br{\'a}zdil, Tom{\'a}{\v s} and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr and Wojtczak, Dominik",
  date-added    = "2014-03-07 16:37:26 +0000",
  date-modified = "2014-03-11 18:51:05 +0000",
  EPrint        = "1205.1473",
  Keywords      = "one-counter Markov decision process",
  Month         = "05",
  Title         = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes",
  URL           = "http://arxiv.org/abs/1205.1473",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1205.1473",
  File          = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes - Brázdil, Kučera, Novotný, Wojtczak (0) (0) - a - a - b.pdf",
  file-2        = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes - Brázdil, Kučera, Novotný, Wojtczak (1) (0) - a - a - b.pdf"
}

@Article{ Brazdil:2012vn, Author = "Br{\'a}zdil, Tom{\'a}{\v s} and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr and Wojtczak, Dominik", date-added = "2014-03-07 16:37:26 +0000", date-modified = "2014-03-11 18:51:05 +0000", EPrint = "1205.1473", Keywords = "one-counter Markov decision process", Month = "05", Title = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes", URL = "http://arxiv.org/abs/1205.1473", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1205.1473", File = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes - Brázdil, Kučera, Novotný, Wojtczak (0) (0) - a - a - b.pdf", file-2 = "Minimizing Expected Termination Time in One-Counter Markov Decision Processes - Brázdil, Kučera, Novotný, Wojtczak (1) (0) - a - a - b.pdf" }