@misc{indiciae22626bac0b56, title = {Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications}, author = {Noushin Mehdipour and Cristian-Ioan Vasile and Calin Belta}, year = {2019}, url = {https://arxiv.org/abs/1903.05186}, note = {Source identifier: 1903.05186} }