@Article{         FearnleyJurdzinski,
  Author        = "Fearnley, John and Jurdzi{\'n}ski, Marcin",
  Abstract      = "A recent result of Haase et al. has shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that reachability in bounded one-counter automata is PSPACE-complete.",
  date-added    = "2013-07-15 10:20:03 +0000",
  date-modified = "2013-07-15 10:20:03 +0000",
  EPrint        = "1302.3109",
  Month         = "02",
  Title         = "Reachability in Two-Clock Timed Automata is PSPACE-complete",
  URL           = "http://arxiv.org/abs/1302.3109",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1302.3109",
  File          = "Reachability in Two-Clock Timed Automata is PSPACE-complete - Fearnley, Jurdziński (0) (0) - a - a - v.pdf"
}

@Article{ FearnleyJurdzinski, Author = "Fearnley, John and Jurdzi{\'n}ski, Marcin", Abstract = "A recent result of Haase et al. has shown that reachability in two-clock timed automata is log-space equivalent to reachability in bounded one-counter automata. We show that reachability in bounded one-counter automata is PSPACE-complete.", date-added = "2013-07-15 10:20:03 +0000", date-modified = "2013-07-15 10:20:03 +0000", EPrint = "1302.3109", Month = "02", Title = "Reachability in Two-Clock Timed Automata is PSPACE-complete", URL = "http://arxiv.org/abs/1302.3109", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1302.3109", File = "Reachability in Two-Clock Timed Automata is PSPACE-complete - Fearnley, Jurdziński (0) (0) - a - a - v.pdf" }