Parameterized verification of algorithms for oblivious robots on a ring.

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sbastien Tixeuil

Browse the full FMCAD paper archive.