Shishir Nadubettu Yadukumar, Murali Pasupuleti, Aaron D. Ames. From Formal Methods to Algorithmic Implementation of Human Inspired Control on Bipedal Robots. In Emilio Frazzoli, Tomás Lozano-Pérez, Nicholas Roy, Daniela Rus, editors, Algorithmic Foundations of Robotics X - Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics, WAFR 2012, MIT, Cambridge, Massachusetts, USA, June 13-15 2012. Volume 86 of Springer Tracts in Advanced Robotics, pages 511-526, Springer, 2012. [doi]
Abstract is missing.