# Control Synthesis

## Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

## Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

## Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic

## Automata-based Optimal Planning with Relaxed Specifications

## A Control Architecture for Provably-Correct Autonomous Driving

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

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

## Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations

Sofie Haesaert, Petter Nilsson, **Cristian Ioan Vasile**, Rohan Thakker, Ali-akbar Aghamohammadi, Aaron D. Ames, and Richard M. Murray. *Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations*. In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pages 271–276, Oxford, UK, July 2018. doi:10.1016/j.ifacol.2018.08.046.