A Compositional Approach to Verifying Modular Robotic Systems.
Matt LuckcuckMarie FarrellAngelo FerrandoRafael C. CardosoLouise A. DennisMichael FisherPublished in: CoRR (2022)
Keyphrases
- robotic systems
- modular robots
- control architecture
- vision system
- autonomous robots
- mobile robot
- indoor environments
- multi robot
- model checking
- unstructured environments
- modular structure
- search and rescue
- object manipulation
- real robot
- dynamic environments
- autonomous agents
- computer vision
- swarm robotics
- robotic tasks