Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems.
Elena TroubitsynaPublished in: CoDIT (2022)
Keyphrases
- fault tolerant
- formal model
- robotic systems
- fault tolerance
- distributed systems
- vision system
- robotic tasks
- control architecture
- mobile robot
- high availability
- goal oriented
- object manipulation
- load balancing
- autonomous robots
- formal models
- robotic manipulator
- collaborative learning
- imitation learning
- multi agent
- security properties
- concurrency control
- manipulation tasks
- security patterns
- human teaching behavior