@misc{indiciaea34c2a8bbf3e,
  title = {Parameterized Verification of Algorithms for Oblivious Robots on a Ring},
  author = {Arnaud Sangnier and Nathalie Sznajder and Maria Potop-Butucaru and Sébastien Tixeuil},
  year = {2017},
  url = {https://arxiv.org/abs/1706.05193},
  note = {Source identifier: 1706.05193}
}