Open Problems in Verification and Refinement of Autonomous Robotic Systems.
Davide BresolinLuigi Di GuglielmoLuca GerettiRiccardo MuradorePaolo FioriniTiziano VillaPublished in: DSD (2012)
Keyphrases
- robotic systems
- open problems
- database theory
- mobile robot
- long standing
- vision system
- control architecture
- autonomous robots
- model checking
- robotic manipulator
- multidatabase transaction management
- object manipulation
- multi robot
- information retrieval
- distributed systems
- computer vision
- search and rescue
- modular robots
- unstructured environments
- machine learning