@misc{indiciae57880394f4e0,
  title = {Synthesising Robust Controllers for Robot Collectives with Recurrent Tasks: A Case Study},
  author = {Till Schnittka and Mario Gleirscher},
  year = {2024},
  doi = {10.4204/eptcs.411.7},
  url = {https://arxiv.org/abs/2411.14371},
  note = {Source identifier: 2411.14371}
}