1. First steps toward formal controller synthesis for bipedal robots with experimental implementation. (August 2017) Authors: Ames, Aaron D.; Tabuada, Paulo; Jones, Austin; Ma, Wen-Loong; Rungger, Matthias; Schürmann, Bastian; Kolathaya, Shishir; Grizzle, Jessy W. Journal: Nonlinear analysis Issue: Volume 25(2017) Page Start: 155 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗