@misc{indiciaec28714c3576c,
  title = {Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints},
  author = {Thomas Brihaye and Laurent Doyen and Gilles Geeraerts and Joël Ouaknine and Jean-François Raskin and James Worrell},
  year = {2012},
  url = {https://arxiv.org/abs/1211.1276},
  note = {Source identifier: 1211.1276}
}