Parameterized verification of algorithms for oblivious robots on a ring - Sorbonne Université
Conference Papers Year : 2017

Dates and versions

hal-01664894 , version 1 (15-12-2017)

Identifiers

Cite

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩. ⟨hal-01664894⟩
208 View
0 Download

Altmetric

Share

More