Towards a Formal Verification Methodology for Collective Robotic Systems.
Edmond GjondrekajMichele LoretiRosario PuglieseFrancesco TiezziCarlo PinciroliManuele BrambillaMauro BirattariMarco DorigoPublished in: ICFEM (2012)
Keyphrases
- robotic systems
- formal verification
- model checking
- collective behavior
- vision system
- mobile robot
- bounded model checking
- model checker
- control architecture
- automated verification
- symbolic model checking
- autonomous robots
- search and rescue
- object manipulation
- temporal logic
- multi robot
- manipulation tasks
- program slicing
- imitation learning
- artificial intelligence
- robotic manipulator
- unstructured environments
- knowledge representation
- knowledge based systems
- path planning