@Article{         Brazdil:2009kx,
  Author        = "Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Etessami, Kousha and Ku{\v c}era, Anton{\'\i}n and Wojtczak, Dominik",
  date-added    = "2014-03-07 16:36:33 +0000",
  date-modified = "2014-03-11 18:51:09 +0000",
  EPrint        = "0904.2511",
  Keywords      = "one-counter Markov decision process",
  Month         = "04",
  Title         = "One-Counter Markov Decision Processes",
  URL           = "http://arxiv.org/abs/0904.2511",
  Year          = "2009",
  bdsk-url-1    = "http://arxiv.org/abs/0904.2511",
  File          = "One-Counter Markov Decision Processes - Brázdil, Brožek, Etessami, Kučera, Wojtczak (0) (0) (0) (0) - a - a - n.pdf",
  file-2        = "One-Counter Markov Decision Processes - Brázdil, Brožek, Etessami, Kučera, Wojtczak (2) (0) (0) (0) - a - a - n.pdf"
}

@Article{ Brazdil:2009kx, Author = "Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Etessami, Kousha and Ku{\v c}era, Anton{\'\i}n and Wojtczak, Dominik", date-added = "2014-03-07 16:36:33 +0000", date-modified = "2014-03-11 18:51:09 +0000", EPrint = "0904.2511", Keywords = "one-counter Markov decision process", Month = "04", Title = "One-Counter Markov Decision Processes", URL = "http://arxiv.org/abs/0904.2511", Year = "2009", bdsk-url-1 = "http://arxiv.org/abs/0904.2511", File = "One-Counter Markov Decision Processes - Brázdil, Brožek, Etessami, Kučera, Wojtczak (0) (0) (0) (0) - a - a - n.pdf", file-2 = "One-Counter Markov Decision Processes - Brázdil, Brožek, Etessami, Kučera, Wojtczak (2) (0) (0) (0) - a - a - n.pdf" }