Signal Temporal Logic
Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints
Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-Robot Systems
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Specifying User Preferences using Weighted Signal Temporal Logic
Average-based Robustness for Continuous-Time 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.
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications
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.
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
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.