Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier; Nathalie Sznajder; Maria Potop-Butucaru; Sébastien Tixeuil

doi:10.23919/FMCAD.2017.8102262

Conference Papers Year : 2017

Parameterized verification of algorithms for oblivious robots on a ring

(1) , (2) , (3) , (4, 3)

1
2
3
4

Arnaud Sangnier

Function : Author
PersonId : 1118879
IdHAL : arnaud-sangnier

Institut de Recherche en Informatique Fondamentale

Nathalie Sznajder

Function : Author
PersonId : 5709
IdHAL : sznajder-nathalie
ORCID : 0000-0002-4199-2443
IdRef : 253130883

Modélisation et Vérification

Maria Potop-Butucaru

Function : Author
PersonId : 841868
ORCID : 0000-0001-6488-8326
IdRef : 157868869

Networks and Performance Analysis

Sébastien Tixeuil

Function : Author
PersonId : 9380
IdHAL : tixeuil
ORCID : 0000-0002-0948-7172
IdRef : 121380661

Institut universitaire de France

Networks and Performance Analysis

CV

Domains

Computer Science [cs]

Nathalie Sznajder : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-01664894

Submitted on : Friday, December 15, 2017-12:09:27 PM

Last modification on : Wednesday, October 30, 2024-9:44:10 PM

Dates and versions

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

Identifiers

HAL Id : hal-01664894 , version 1
ARXIV : 1706.05193
DOI : 10.23919/FMCAD.2017.8102262

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UPMC CNRS LIP6 USPC SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES ANR IRIF

208 View

0 Download

Parameterized verification of algorithms for oblivious robots on a ring

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share