@Article{         ChistikovCzerwinskiHofmanPilipczukWehar,
  Author        = "Chistikov, Dmitry and Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Pilipczuk, Micha{{\l}} and Wehar, Michael",
  Abstract      = "We show that any one-counter automaton with $n$ states, if its language is non-empty, accepts some word of length at most $O(n^2)$. This closes the gap between the previously known upper bound of $O(n^3)$ and lower bound of $\Omega(n^2)$. More generally, we prove a tight upper bound on the length of shortest paths between arbitrary configurations in one-counter transition systems. Weaker bounds have previously appeared in the literature, and our result offers an improvement.",
  date-added    = "2016-02-23 14:04:25 +0000",
  date-modified = "2016-02-23 14:04:25 +0000",
  EPrint        = "1510.05460",
  Month         = "10",
  Title         = "Shortest paths in one-counter systems",
  URL           = "http://arxiv.org/abs/1510.05460",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1510.05460",
  File          = "Shortest paths in one-counter systems - Chistikov, Czerwiński, Hofman, Pilipczuk, Wehar (0) (0) - a - a - w.pdf"
}

@Article{ ChistikovCzerwinskiHofmanPilipczukWehar, Author = "Chistikov, Dmitry and Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Pilipczuk, Micha{{\l}} and Wehar, Michael", Abstract = "We show that any one-counter automaton with $n$ states, if its language is non-empty, accepts some word of length at most $O(n^2)$. This closes the gap between the previously known upper bound of $O(n^3)$ and lower bound of $\Omega(n^2)$. More generally, we prove a tight upper bound on the length of shortest paths between arbitrary configurations in one-counter transition systems. Weaker bounds have previously appeared in the literature, and our result offers an improvement.", date-added = "2016-02-23 14:04:25 +0000", date-modified = "2016-02-23 14:04:25 +0000", EPrint = "1510.05460", Month = "10", Title = "Shortest paths in one-counter systems", URL = "http://arxiv.org/abs/1510.05460", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1510.05460", File = "Shortest paths in one-counter systems - Chistikov, Czerwiński, Hofman, Pilipczuk, Wehar (0) (0) - a - a - w.pdf" }