Roland B. Ilyes

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 7

Top Topics

Satisfiability Problem

Motion Planning

Top Venues

Publications

Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian
Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. HSCC (2023)
Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar Ahmed, Morteza Lahijanian
Chance-Constrained Motion Planning with Event-Triggered Estimation. ICRA (2023)
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. ICRA (2023)
Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CoRR (2022)
Anne Theurkauf, Qi Heng Ho, Roland B. Ilyes, Nisar Ahmed, Morteza Lahijanian
Chance-Constrained Motion Planning with Event-Triggered Estimation. CoRR (2022)
Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, Morteza Lahijanian
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. CDC (2022)
Roland B. Ilyes, Qi Heng Ho, Morteza Lahijanian
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. CoRR (2022)