Effortless creation of safe robots from modules through self-programming and self-verification.
Matthias AlthoffAndrea GiustiStefan B. LiuAaron PereiraPublished in: Sci. Robotics (2019)
Keyphrases
- mobile robot
- programming language
- modular robots
- lego mindstorms
- multi robot
- human robot interaction
- functional modules
- robot programming
- programming environment
- model checking
- building blocks
- cooperative
- autonomous robots
- computer programming
- signature verification
- robotic agents
- robotic systems
- data sets
- creation process
- development environment
- autonomous systems
- artificial intelligence
- service robots
- real world
- tactile sensing
- modular structure
- search and rescue
- face verification
- general purpose