@misc{indiciae7662ab889a0b,
  title = {Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks},
  author = {Chencheng Tang and Matthias Althoff},
  year = {2024},
  url = {https://arxiv.org/abs/2410.10391},
  note = {Source identifier: 2410.10391}
}