Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation.
Salman Omar SohailAlex MitrevskiNico HochgeschwenderPaul G. PlögerPublished in: ECMR (2021)
Keyphrases
- experimental platform
- mobile robot
- simulated robot
- vision system
- action selection mechanism
- manipulation tasks
- real robot
- autonomous robots
- condition action rules
- swarm robots
- model checking
- testing process
- test cases
- code generation
- simulation model
- virtual environment
- humanoid robot
- symbolic execution
- robot arm
- robotic systems
- robot navigation
- goal directed
- human robot interaction
- motion planning