Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation.
Salman Omar SohailAlex MitrevskiNico HochgeschwenderPaul G. PlögerPublished in: CoRR (2021)
Keyphrases
- experimental platform
- mobile robot
- real robot
- manipulation tasks
- simulated robot
- humanoid robot
- multi robot
- robot navigation
- robotic systems
- robot control
- testing process
- action selection mechanism
- vision system
- symbolic execution
- code generation
- real time
- obstacle avoidance
- software testing
- human robot interaction
- swarm robots
- condition action rules
- robot teams
- motion planning