TY  - RPRT
TI  - Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation
AU  - Salman Omar Sohail
AU  - Alex Mitrevski
AU  - Nico Hochgeschwender
AU  - Paul G. Plöger
PY  - 2021
UR  - https://arxiv.org/abs/2108.08726
ID  - 2108.08726
ER  -