Signal Temporal Logic
Noushin Mehdipour, Cristian Ioan Vasile, and Calin Belta. Average-based Robustness for Continuous-Time Signal Temporal Logic. In IEEE Conference on Decision and Control (CDC), Nice, France, December 2019.
Austin M Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadradinni, Zachary Serlin, Roberto Tron, and Calin Belta. Scalable and Robust Deployment of Heterogenenous Teams from Temporal Logic Specifications. In International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, October 2019.
Noushin Mehdipour, Cristian Ioan Vasile, and Calin Belta. Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. In American Control Conference (ACC), Philadelphia, PA, USA, July 2019. doi:10.23919/ACC.2019.8814487.