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.