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

Communication Dans Un Congrès Année : 2017

Parameterized verification of algorithms for oblivious robots on a ring

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

1
2
3
4

Arnaud Sangnier

Fonction : Auteur
PersonId : 1118879
IdHAL : arnaud-sangnier

Institut de Recherche en Informatique Fondamentale

Nathalie Sznajder

Fonction : Auteur
PersonId : 5709
IdHAL : sznajder-nathalie
ORCID : 0000-0002-4199-2443
IdRef : 253130883

Modélisation et Vérification

Maria Potop-Butucaru

Fonction : Auteur
PersonId : 841868
ORCID : 0000-0001-6488-8326
IdRef : 157868869

Networks and Performance Analysis

Sébastien Tixeuil

Fonction : Auteur
PersonId : 9380
IdHAL : tixeuil
ORCID : 0000-0002-0948-7172
IdRef : 121380661

Institut universitaire de France

Networks and Performance Analysis

CV

Domaines

Informatique [cs]

Nathalie Sznajder : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 15 décembre 2017-12:09:27

Dernière modification le : lundi 15 avril 2024-11:25:23

Dates et versions

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

Identifiants

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

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

170 Consultations

0 Téléchargements

Parameterized verification of algorithms for oblivious robots on a ring

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager