Ames, Aaron D, Tabuada, Paulo, Jones, Austin, Ma, Wen-Loong, Rungger, Matthias, Schürmann, Bastian, Kolathaya, Shishir, Grizzle, Jessy W.
2017.
First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.