Generalized Mean Robustness for Signal Temporal Logic
Control Synthesis
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
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.
Pages
