1552668

video

Visible to the public CAREER: Robust Verification of Cyber-Physical Systems

biblio

Visible to the public Human-inspired walking via unified pd and impedance control

biblio

Visible to the public Human-inspired multi-contact locomotion with AMBER2

biblio

Visible to the public Highly robust running of articulated bipeds in unobserved terrain

biblio

Visible to the public Incremental synthesis of switching protocols via abstraction refinement