Automaton-guided control synthesis for signal temporal logic specifications QH Ho, RB Ilyes, ZN Sunberg, M Lahijanian 2022 IEEE 61st conference on decision and control (CDC), 3243-3249, 2022 | 6 | 2022 |
Stochastic robustness interval for motion planning with signal temporal logic RB Ilyes, QH Ho, M Lahijanian 2023 IEEE International Conference on Robotics and Automation (ICRA), 5716-5722, 2023 | 4 | 2023 |
Chance-constrained motion planning with event-triggered estimation A Theurkauf, QH Ho, R Ilyes, N Ahmed, M Lahijanian 2023 IEEE International Conference on Robotics and Automation (ICRA), 7944-7950, 2023 | 2 | 2023 |
Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty QH Ho, R Ilyes, Z Sunberg, M Lahijanian Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | | 2023 |
Robustness Measure for Monitoring and Motion Planning for Stochastic Systems Subject to Signal Temporal Logic Specifications RB Ilyes University of Colorado at Boulder, 2022 | | 2022 |