Proof of Location Verification towards Trustworthy Collaborative Multi-Vendor Robotic Systems.
Evan W. WuMarius JurtBen HoldenYichao JinPublished in: ICIT (2024)
Keyphrases
- robotic systems
- mobile robot
- control architecture
- autonomous robots
- vision system
- object manipulation
- search and rescue
- collaborative learning
- multi robot
- robotic manipulator
- manipulation tasks
- model checking
- robotic tasks
- unstructured environments
- formal proof
- imitation learning
- swarm robotics
- data mining
- indoor environments
- multi modal
- signature verification
- theorem proving
- theorem prover
- evolutionary algorithm
- human teaching behavior
- video sequences