Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.

Neil Dantam Ayonga Hereid Aaron D. Ames Mike Stilman

Published in: Robotics: Science and Systems (2013)

Keyphrases

real time
software development
walking speed
software systems
software tools
computer software

software architecture
high speed
source code
mobile robot
software design
data sets

software engineering
multi agent systems
development process
software projects
information systems
software package

software packages
hardware design
computer vision
commercial software
limit cycle