Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty

Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian. Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]

Authors

Qi Heng Ho

This author has not been identified. Look up 'Qi Heng Ho' in Google

Roland B. Ilyes

This author has not been identified. Look up 'Roland B. Ilyes' in Google

Zachary Sunberg

This author has not been identified. Look up 'Zachary Sunberg' in Google

Morteza Lahijanian

This author has not been identified. Look up 'Morteza Lahijanian' in Google