TY  - RPRT
TI  - Parameterized Verification of Algorithms for Oblivious Robots on a Ring
AU  - Arnaud Sangnier
AU  - Nathalie Sznajder
AU  - Maria Potop-Butucaru
AU  - Sébastien Tixeuil
PY  - 2017
UR  - https://arxiv.org/abs/1706.05193
ID  - 1706.05193
ER  -