Adaptive walk control for hexapod robot based on iterative model-checking and Timekeeper control.

Yuki Murata Shinkichi Inagaki Tatsuya Suzuki

Published in: SICE (2019)

Keyphrases

model checking
control system
temporal logic
epistemic logic
legged robots
finite state machines
formal verification