Parameterized verification of algorithms for oblivious robots on a ring | IEEE Conference Publication | IEEE Xplore