Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach

Damien Busatto-Gaston
Modélisation et Vérification
Benjamin Monmege
Modélisation et Vérification
CV
Pierre-Alain Reynier
Modélisation et Vérification
Ocan Sankur
  • Fonction : Auteur
  • PersonId : 741359
  • IdHAL : ocan-sankur
SUpervision of large MOdular and distributed systems

Domaines

Logique en informatique [cs.LO] Informatique et théorie des jeux [cs.GT] Informatique et langage [cs.CL] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
paper.pdf (509.83 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Benjamin Monmege  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02264083

Soumis le : mardi 6 août 2019-11:28:46

Dernière modification le : vendredi 22 mars 2024-18:24:04

Archivage à long terme le : jeudi 9 janvier 2020-03:15:48

Télécharger pour visualiser

Dates et versions

hal-02264083 , version 1 (06-08-2019)

Identifiants

Citer

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur. Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New-York, United States. pp.572-590, ⟨10.1007/978-3-030-25540-4_33⟩. ⟨hal-02264083⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UNIV-TLN CNRS INRIA UNIV-AMU INSA-RENNES ENSSAT IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC LIS-LAB MOVE UNIV-RENNES ANR UR1-MATH-NUM
143 Consultations
130 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More