Sign in
William Yates
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 2
Top Topics
Verification Method
Temporal Logic
Satisfiability Problem
Closed Loop
Top Venues
CoRR
CSER
</>
Publications
</>
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)