Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms.
Chi HuWei DongYonghui YangHao ShiGe ZhouPublished in: IEEE Trans. Reliab. (2020)
Keyphrases
- mobile robot
- cooperative
- robot navigation
- vision system
- obstacle avoidance
- particle swarm optimization
- neural network
- robot arm
- goal directed
- human robot interaction
- bio inspired
- desirable properties
- computer vision
- real time
- multi robot
- humanoid robot
- position and orientation
- global optimization
- hierarchical structure
- path planning
- multi objective