Formal Composition of Robotic Systems as Contract Programs.
Mason NakamuraJustin SvegliatoSamer B. NashedShlomo ZilbersteinStuart RussellPublished in: IROS (2023)
Keyphrases
- robotic systems
- mobile robot
- vision system
- autonomous robots
- control architecture
- formal model
- indoor environments
- supply chain
- search and rescue
- multi robot
- computer programs
- unstructured environments
- object manipulation
- robotic tasks
- collective behavior
- robotic manipulator
- imitation learning
- human teaching behavior
- manipulation tasks
- formal methods
- evolutionary computation
- multi modal