First steps toward formal controller synthesis for bipedal robots

Article Details
Title:	First steps toward formal controller synthesis for bipedal robots
Article URLs:	https://doi.org/10.1145/2728606.2728611
Alternative Article URLs:
Authors:	Aaron D. Ames	Texas A&M University
	Paulo Tabuada	University of California - Los Angeles
	Bastian Schürmann	University of California - Los Angeles
	Wen-Loong Ma	Texas A&M University
	Shishir Kolathaya	Texas A&M University
	Matthias Rungger	TU München
	Jessy W. Grizzle	University of Michigan
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/hybrid/AmesTSMKRG15
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2015