Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Ames, A. D.; Tabuada, P.; Schuermann, B.; Ma, W.; Kolathaya, S.; Rungger, M.; Grizzle, J. W.
- Titel:
- First Steps toward Formal Controller Synthesis for Bipedal Robots
- Kongress- / Buchtitel:
- Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
- Verlag / Institution:
- ACM
- Jahr:
- 2015
- Seiten:
- 209--218
BibTeX