# 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.