A containerized ROS-compliant verification environment for robotic systems.
Stefano AldegheriNicola BombieriSamuele GerminianiFederico MoschinGraziano PravadelliPublished in: DATE (2021)
Keyphrases
- robotic systems
- mobile robot
- indoor environments
- autonomous robots
- control architecture
- vision system
- multi robot
- robotic manipulator
- unstructured environments
- real robot
- real time
- model checking
- imitation learning
- manipulation tasks
- robotic tasks
- object manipulation
- dynamic model
- dynamic environments
- artificial intelligence
- machine learning