 |
La connaissance libre et partagée |
Communication dans un congrès
Efficient Emptiness Check for Timed Büchi Automata
Abstract : The Büchi non-emptiness problem for timed automata concerns deciding if a given automaton has an infinite non-Zeno run satisfying the Büchi accepting condition. The standard solution to this problem involves adding an auxiliary clock to take care of the non-Zenoness. In this paper, we show that this simple transformation may sometimes result in an exponential blowup. We propose a method avoiding this blowup.
Littérature citée [15 références]
https://hal.archives-ouvertes.fr/hal-00477149
Contributeur : Frédéric Herbreteau Connectez-vous pour contacter le contributeur
Soumis le : mercredi 28 avril 2010 - 15:11:29
Dernière modification le : lundi 20 décembre 2021 - 16:50:11
Archivage à long terme le : : lundi 22 octobre 2012 - 15:31:58
Contributeur : Frédéric Herbreteau Connectez-vous pour contacter le contributeur
Soumis le : mercredi 28 avril 2010 - 15:11:29
Dernière modification le : lundi 20 décembre 2021 - 16:50:11
Archivage à long terme le : : lundi 22 octobre 2012 - 15:31:58
Fichier
m.pdf
Fichiers produits par l'(les) auteur(s)