"Time-Robust Control for STL Specification" 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 2021, pp. 572-579