First steps toward formal controller synthesis for bipedal robots
| Title | First steps toward formal controller synthesis for bipedal robots |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Ames, Aaron D, Tabuada, Paulo, Schürmann, Bastian, Ma, Wen-Loong, Kolathaya, Shishir, Rungger, Matthias, Grizzle, Jessy W |
| Conference Name | Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control |
| Publisher | ACM |
| Keywords | 1552668 |
| URL | http://web.eecs.umich.edu/ grizzle/papers/Robotic_Walking_HSCC_2015.pdf |
| Citation Key | ames2015first |