Correct Software Synthesis for Stable Speed-Controlled Robotic Walking
Author(s) -
Neil T. Dantam,
Ayonga Hereid,
Aaron D. Ames,
Mike Stilman
Publication year - 2013
Language(s) - English
Resource type - Conference proceedings
DOI - 10.15607/rss.2013.ix.040
Subject(s) - computer science , software , preferred walking speed , robot , simulation , control engineering , artificial intelligence , physical medicine and rehabilitation , engineering , operating system , medicine
Presented at the 2013 Robotics: Science and Systems Conference VII (RSS), 24-28 June 2013, Berlin, Germany.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom