@misc{indiciaefa6d75b7edf9,
  title = {Towards Efficient Exact Synthesis for Linear Hybrid Systems},
  author = {Massimo Benerecetti and Marco Faella and Stefano Minopoli},
  year = {2011},
  doi = {10.4204/eptcs.54.19},
  url = {https://arxiv.org/abs/1106.1246},
  note = {Source identifier: 1106.1246}
}