Noushin Mehdipour, Cristian Ioan Vasile, Calin Belta: Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. ACC 2019: 1690-1695