Formal specification and simulation of the robot path planner.
Yassine M. BelkhoucheBoumediene BelkhouchePublished in: SMC (2009)
Keyphrases
- formal specification
- path planner
- path planning
- mobile robot
- robot soccer
- robot path planning
- cellular automata
- formal specification language
- model checking
- spatial reasoning
- object oriented design
- specification languages
- formal methods
- real robot
- dynamic environments
- collision free
- process algebra
- multi robot
- international space station
- autonomous robots
- evolutionary algorithm
- control structure
- concurrent systems
- reverse engineering
- case study
- protocol specification
- action selection
- software components
- vision system
- temporal logic
- information systems
- motion planning