How to Tackle Integer Weighted Automata Positivity

Yohan Boichut 1 Pierre-Cyrille Heam 2, 3 Olga Kouchnarenko 2
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper is dedicated to candidate abstractions to capture relevant aspects of the integer weighted automata. The expected effect of applying these abstractions is studied to build the deterministic reachability graphs allowing us to semi-decide the positivity problem on these automata. Moreover, the papers reports on the implementations and experimental results, and discusses other encodings.
Type de document :
Communication dans un congrès
Olivier Bournez and Igor Potapov. 3rd InternationalWorkshop on Reachability Problems - RP 2009, Sep 2009, Palaiseau, France. Springer -Verlag, 5797, pp.79-92, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04420-5_9〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00428998
Contributeur : Olga Kouchnarenko <>
Soumis le : vendredi 30 octobre 2009 - 12:24:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:13
Document(s) archivé(s) le : jeudi 17 juin 2010 - 18:47:56

Fichier

rp09_submission.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity. Olivier Bournez and Igor Potapov. 3rd InternationalWorkshop on Reachability Problems - RP 2009, Sep 2009, Palaiseau, France. Springer -Verlag, 5797, pp.79-92, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-04420-5_9〉. 〈inria-00428998〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

88