Enabling Systems Modeling Language Authoring in a Collaborative Web-based Decision Support Tool. - Daniel Browne; Robert Kempf; Aaron Hansen; Michael O'Neal; William Yates (CSER, 2013)

Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Ye Zhao 002 (CoRR, 2023)

Signal Temporal Logic-Guided Model Predictive Control for Robust Bipedal Locomotion Resilient to Runtime External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Ye Zhao 002 (CoRR, 2023)

Walking-by-Logic: Signal Temporal Logic-Guided Model Predictive Control for Bipedal Locomotion Resilient to External Perturbations. - Zhaoyuan Gu; Rongming Guo; William Yates; Yipu Chen; Yuntian Zhao; Ye Zhao 002 (ICRA, 2024)