Towards Compositional Verification for Modular Robotic Systems.
Rafael C. CardosoLouise A. DennisMarie FarrellMichael FisherMatt LuckcuckPublished in: FMAS (2020)
Keyphrases
- robotic systems
- modular robots
- vision system
- control architecture
- mobile robot
- autonomous robots
- multi robot
- robotic tasks
- model checking
- object manipulation
- manipulation tasks
- search and rescue
- indoor environments
- artificial intelligence
- unstructured environments
- robotic manipulator
- formal verification
- human robot
- signature verification
- real time
- imitation learning
- video sequences