Runtime Verification of Robots Collision Avoidance Case Study.
Chenxia LuoRui WangYu JiangKang YangYong GuanXiaojuan LiZhiping ShiPublished in: COMPSAC (1) (2018)
Keyphrases
- collision avoidance
- case study
- mobile robot
- formation control
- multiple robots
- path planning
- collision free
- multi robot
- visual navigation
- dynamic environments
- robot motion
- multi robot systems
- model checking
- real world
- robot control
- robotic systems
- autonomous robots
- path finding
- motion planning
- real robot
- obstacle avoidance
- fuzzy neural network
- real time
- genetic algorithm ga
- mathematical model
- artificial intelligence
- genetic algorithm
- neural network