Stuttering for Abstract Probabilistic Automata

Benoit Delahaye; Kim Guldstrand Larsen; Axel Legay

doi:10.1016/j.jlap.2013.05.006

Article Dans Une Revue Journal of Logic and Algebraic Programming Année : 2014

Stuttering for Abstract Probabilistic Automata

(1) , (2) , (3)

1
2
3

Benoit Delahaye

Fonction : Auteur
PersonId : 3473
IdHAL : benoit-delahaye
ORCID : 0000-0002-9104-4361
IdRef : 148063128

AELOS

CV

Kim Guldstrand Larsen

Fonction : Auteur
PersonId : 996530

Aalborg University [Denmark]

Axel Legay

Fonction : Auteur

Efficient STAtistical methods in SYstems of systems

Domaines

Modélisation et simulation Informatique et théorie des jeux [cs.GT]

Benoît Delahaye : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01084342

Soumis le : mercredi 19 novembre 2014-09:28:33

Dernière modification le : vendredi 5 janvier 2024-03:24:23

Dates et versions

hal-01084342 , version 1 (19-11-2014)

Identifiants

HAL Id : hal-01084342 , version 1
DOI : 10.1016/j.jlap.2013.05.006

Citer

Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay. Stuttering for Abstract Probabilistic Automata. Journal of Logic and Algebraic Programming, 2014, Journal of Logic and Algebraic Programming, pp.Pages 1-19. ⟨10.1016/j.jlap.2013.05.006⟩. ⟨hal-01084342⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA LINA LINA-AELOS IRISA-D4 INRIA2 TDS-MACS UR1-MATH-STIC LS2N UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM NANTES-UNIVERSITE

506 Consultations

0 Téléchargements

Stuttering for Abstract Probabilistic Automata

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager