%0 Conference Paper %1 conf/hybrid/AmesTSMKRG15 %A Ames, Aaron D. %A Tabuada, Paulo %A Schürmann, Bastian %A Ma, Wen-Loong %A Kolathaya, Shishir %A Rungger, Matthias %A Grizzle, Jessy W. %B HSCC %D 2015 %E Girard, Antoine %E Sankaranarayanan, Sriram %I ACM %K dblp %P 209-218 %T First steps toward formal controller synthesis for bipedal robots. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#AmesTSMKRG15 %@ 978-1-4503-3433-4

@inproceedings{conf/hybrid/AmesTSMKRG15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Ames, Aaron D. and Tabuada, Paulo and Schürmann, Bastian and Ma, Wen-Loong and Kolathaya, Shishir and Rungger, Matthias and Grizzle, Jessy W.}, biburl = {https://www.bibsonomy.org/bibtex/2e60781ee110a43c58871b725778f330f/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2015}, editor = {Girard, Antoine and Sankaranarayanan, Sriram}, ee = {https://doi.org/10.1145/2728606.2728611}, interhash = {99d162a587280b4d8ad483b1d043ac1f}, intrahash = {e60781ee110a43c58871b725778f330f}, isbn = {978-1-4503-3433-4}, keywords = {dblp}, pages = {209-218}, publisher = {ACM}, timestamp = {2024-04-10T10:15:40.000+0200}, title = {First steps toward formal controller synthesis for bipedal robots.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#AmesTSMKRG15}, year = 2015 }