Login
- Title:
First Steps toward Formal Controller Synthesis for Bipedal Robots
- Document type:
- Konferenzbeitrag
- Author(s):
- Ames, A. D.; Tabuada, P.; Schuermann, B.; Ma, W.; Kolathaya, S.; Rungger, M.; Grizzle, J. W.
- Book / Congress title:
- Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
- Publisher:
- ACM
- Year:
- 2015
- Pages:
- 209--218
BibTeX