Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes
Communication Dans Un Congrès Année : 2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

Thibaut Balabonski
Vérification d'Algorithmes, Langages et Systèmes (LRI)
Pierre Courtieu
CEDRIC. Systèmes sûrs
CV
Robin Pelle
Vérification d'Algorithmes, Langages et Systèmes (LRI)
Lionel Rieg
VERIMAG
Sébastien Tixeuil
Networks and Performance Analysis
Institut universitaire de France
CV
Xavier Urbain
Distribution, Recherche d'Information et Mobilité

Domaines

Logique en informatique [cs.LO] Calcul parallèle, distribué et partagé [cs.DC]
Fichier principal
Vignette du fichier
paper38.pdf (249.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence
Paternité

Lionel Rieg  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02115599

Soumis le : mercredi 4 décembre 2024-11:00:50

Dernière modification le : lundi 9 décembre 2024-03:34:06

Télécharger pour visualiser

Dates et versions

hal-02115599 , version 1 (04-12-2024)

Licence

Paternité

Identifiants

Citer

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩

Relations

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS UNIV-LYON1 UNIV-LYON2 INSA-LYON EC-LYON CNAM LIRIS UMR8623 LIP6 VERIMAG CENTRALESUPELEC LRI-VALS UNIV-PARIS-SACLAY INSA-GROUPE SORBONNE-UNIVERSITE CEDRIC-CNAM SU-SCIENCES UDL SPRES HESAM
238 Consultations
0 Téléchargements

Altmetric

Partager

More