Neil Dantam, Ayonga Hereid, Aaron D. Ames, Mike Stilman. Correct Software Synthesis for Stable Speed-Controlled Robotic Walking. In Paul Newman, Dieter Fox, David Hsu, editors, Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 - June 28, 2013. 2013. [doi]
Abstract is missing.