Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. - Qi Heng Ho; Roland B. Ilyes; Zachary N. Sunberg; Morteza Lahijanian (CDC, 2022)

Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. - Qi Heng Ho; Roland B. Ilyes; Zachary Sunberg; Morteza Lahijanian (HSCC, 2023)

Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. - Roland B. Ilyes; Qi Heng Ho; Morteza Lahijanian (ICRA, 2023)

Chance-Constrained Motion Planning with Event-Triggered Estimation. - Anne Theurkauf; Qi Heng Ho; Roland B. Ilyes; Nisar R. Ahmed; Morteza Lahijanian (ICRA, 2023)

Ro-To-Go! Robust Reactive Control with Signal Temporal Logic. - Roland B. Ilyes; Lara Brudermüller; Nick Hawes; Bruno Lacerda (CoRR, 2025)