@misc{indiciae1343eb85ea06,
  title = {Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation},
  author = {Salman Omar Sohail and Alex Mitrevski and Nico Hochgeschwender and Paul G. Plöger},
  year = {2021},
  url = {https://arxiv.org/abs/2108.08726},
  note = {Source identifier: 2108.08726}
}