Proving the correctness of concurrent robot software.
Peter KazanzidesYanni KouskoulasAnton DeguetZhong ShaoPublished in: ICRA (2012)
Keyphrases
- mobile robot
- control software
- software development
- path planning
- software design
- software architecture
- software systems
- user interface
- robot manipulators
- real time
- source code
- robot navigation
- software package
- position and orientation
- autonomous robots
- software maintenance
- computer systems
- motion planning
- multi robot
- vision system
- test cases
- embedded systems
- robot control
- visual servoing
- hardware design
- robot arm
- development process
- mutual exclusion
- concurrent execution