Rongming Guo

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Predictive Control

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Publications

Zhaoyuan Gu, Yuntian Zhao, Yipu Chen, Rongming Guo, Jennifer K. Leestma, Gregory S. Sawicki, Ye Zhao
Robust-Locomotion-by-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control. CoRR (2024)
Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Yuntian Zhao, Ye Zhao
Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. ICRA (2024)
Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Ye Zhao
Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations. CoRR (2023)
Zhaoyuan Gu, Rongming Guo, William Yates, Yipu Chen, Ye Zhao
Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. CoRR (2023)