Login / Signup
William Yates
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 3
Top Topics
Model Predictive Control
Modal Operators
Temporal Logic
Verification Method
Top Venues
CoRR
ICRA
</>
Publications
</>
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)
Daniel Browne
,
Robert Kempf
,
Aaron Hansen
,
Michael O'Neal
,
William Yates
Enabling Systems Modeling Language Authoring in a Collaborative Web-based Decision Support Tool.
CSER
(2013)