@misc{indiciae2659229ed3b4,
  title = {Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete},
  author = {Stefan Göller and Mathieu Hilaire},
  year = {2020},
  url = {https://arxiv.org/abs/2011.07091},
  note = {Source identifier: 2011.07091}
}