Incremental Component-Based Construction and Verification of a Robotic System.
Ananda BasuMatthieu GallienCharles LesireThanh-Hung NguyenSaddek BensalemFélix IngrandJoseph SifakisPublished in: ECAI (2008)
Keyphrases
- robotic systems
- mobile robot
- vision system
- control architecture
- incremental learning
- autonomous robots
- multi robot
- unstructured environments
- robotic manipulator
- model checking
- indoor environments
- cognitive architecture
- swarm robotics
- imitation learning
- manipulation tasks
- human robot
- information processing
- cooperative
- computer vision
- genetic algorithm