# Signal Temporal Logic

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

## Metrics for Signal Temporal Logic Formulae

Curtis Madsen, Prashant Vaidyanathan, Sadra Sadraddini, **Cristian Ioan Vasile**, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, and Calin Belta. *Metrics for Signal Temporal Logic Formulae*. In IEEE Conference on Decision and Control (CDC), pages 1542–1547, Miami Beach, FL, USA, December 2018. doi:10.1109/CDC.2018.8619541.

## Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications

**Cristian-Ioan Vasile**, Vasumathi Raman, and Sertac Karaman. *Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications*. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3840-3847, Vancouver, BC, Canada, September 2017. doi:10.1109/IROS.2017.8206235.