Verification Using Multi-agent Simulation for Evacuation Guidance with Robots.
Ryuta SugieTakahiro UchiyaIchi TakumiPublished in: CISIS (2017)
Keyphrases
- multi agent simulation
- multi agent
- cooperative
- mobile robot
- cellular automata
- autonomous robots
- multi robot systems
- model checking
- multi robot
- industrial robots
- formal verification
- robotic systems
- robotic agents
- face verification
- human robot
- verification method
- human agent interaction
- human robot interaction
- physical constraints
- robot control
- formal analysis
- learning algorithm
- simulation model
- swarm intelligence
- reinforcement learning
- decision making