Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.
Neil DantamAyonga HereidAaron D. AmesMike StilmanPublished 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