@misc{indiciae8e174742330b,
  title = {Symbolic Optimal Reachability in Weighted Timed Automata},
  author = {Patricia Bouyer and Maximilien Colange and Nicolas Markey},
  year = {2016},
  url = {https://arxiv.org/abs/1602.00481},
  note = {Source identifier: 1602.00481}
}