Verifiable Control of Robotic Swarm from High-level Specifications.
Ji ChenSalar MoarrefHadas Kress-GazitPublished in: AAMAS (2018)
Keyphrases
- robotic systems
- high level specifications
- control system
- real time
- sufficient conditions
- control loop
- robotic arm
- perception action
- autonomous robots
- mobile robot
- particle swarm optimization
- control strategy
- robot control
- database
- data mining
- hand eye
- robotic manipulator
- collective behavior
- human operators
- database schema
- swarm intelligence
- semi automatic
- object oriented