conftrace_

software synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

human-inspired control (1) walking speed transition (1) supervisory control (1) motion grammar (1) dynamic stability (1)

Papers

Correct Software Synthesis for Stable Speed-Controlled Robotic Walking RSS 2013