@inproceedings{dantam2013correct,
  title={Correct software synthesis for stable speed-controlled robotic walking},
  author={Dantam, Neil and Hereid, Ayonga and Ames, Aaron D and Stilman, Mike},
  year={2013},
  booktitle={Robotics: Science and Systems (RSS)},
  url = {http://ames.caltech.edu/naoparser_2013.pdf},
  url_video = {https://youtu.be/P0UERYbDEJc}
}

{"_id":"EbrwGuq4HFLJFBK3P","bibbaseid":"dantam-hereid-ames-stilman-correctsoftwaresynthesisforstablespeedcontrolledroboticwalking-2013","downloads":0,"creationDate":"2017-04-03T16:49:16.720Z","title":"Correct software synthesis for stable speed-controlled robotic walking","author_short":["Dantam, N.","Hereid, A.","Ames, A. D","Stilman, M."],"year":2013,"bibtype":"inproceedings","biburl":"http://ames.caltech.edu/ames_ref_temp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Correct software synthesis for stable speed-controlled robotic walking","author":[{"propositions":[],"lastnames":["Dantam"],"firstnames":["Neil"],"suffixes":[]},{"propositions":[],"lastnames":["Hereid"],"firstnames":["Ayonga"],"suffixes":[]},{"propositions":[],"lastnames":["Ames"],"firstnames":["Aaron","D"],"suffixes":[]},{"propositions":[],"lastnames":["Stilman"],"firstnames":["Mike"],"suffixes":[]}],"year":"2013","booktitle":"Robotics: Science and Systems (RSS)","url":"http://ames.caltech.edu/naoparser_2013.pdf","url_video":"https://youtu.be/P0UERYbDEJc","bibtex":"@inproceedings{dantam2013correct,\n title={Correct software synthesis for stable speed-controlled robotic walking},\n author={Dantam, Neil and Hereid, Ayonga and Ames, Aaron D and Stilman, Mike},\n year={2013},\n booktitle={Robotics: Science and Systems (RSS)},\n url = {http://ames.caltech.edu/naoparser_2013.pdf},\n url_video = {https://youtu.be/P0UERYbDEJc}\n}\n\n\n","author_short":["Dantam, N.","Hereid, A.","Ames, A. D","Stilman, M."],"key":"dantam2013correct","id":"dantam2013correct","bibbaseid":"dantam-hereid-ames-stilman-correctsoftwaresynthesisforstablespeedcontrolledroboticwalking-2013","role":"author","urls":{"Paper":"http://ames.caltech.edu/naoparser_2013.pdf"," video":"https://youtu.be/P0UERYbDEJc"},"metadata":{"authorlinks":{"ames, a":"http://www.bipedalrobotics.com/publications.html"}},"downloads":0,"html":""},"search_terms":["correct","software","synthesis","stable","speed","controlled","robotic","walking","dantam","hereid","ames","stilman"],"keywords":[],"authorIDs":["gC2M76ZuLyN4DfgC5"],"dataSources":["c5Y5KxspQmgaqHb44","wfTjQp7BbyyzhMumG","JyoDgr7qvkjGYcFft","aeHt7AWKsAw9iiQqD","qAk5kJqscSPPSguqo"]}