@misc{indiciaee1e6eace7e11,
  title = {Robust Control for Signal Temporal Logic Specifications using Average Space Robustness},
  author = {Lars Lindemann and Dimos V. Dimarogonas},
  year = {2019},
  url = {https://arxiv.org/abs/1607.07019},
  note = {Source identifier: 1607.07019}
}