RoboWorld: Verification of Robotic Systems with Environment in the Loop.
James BaxterGustavo CarvalhoAna CavalcantiFrancisco Rodrigues JúniorPublished in: Formal Aspects Comput. (2023)
Keyphrases
- robotic systems
- mobile robot
- autonomous robots
- control architecture
- indoor environments
- vision system
- multi robot
- unstructured environments
- object manipulation
- real robot
- formal verification
- imitation learning
- human robot
- collective behavior
- multi modal
- real time
- robot behavior
- model checking
- dynamic environments
- machine learning