@misc{indiciae44065a019649,
  title = {Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications},
  author = {Marcell Vazquez-Chanlatte and Shromona Ghosh and Vasumathi Raman and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2017},
  url = {https://arxiv.org/abs/1707.03529},
  note = {Source identifier: 1707.03529}
}