Stuttering for Abstract Probabilistic Automata - Archive ouverte HAL
Article Dans Une Revue Journal of Logic and Algebraic Programming Année : 2014

Stuttering for Abstract Probabilistic Automata

Benoit Delahaye
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 : mardi 27 août 2024-12:45:22

Consulter le texte intégral

Dates et versions

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

Identifiants

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 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
521 Consultations
0 Téléchargements

Altmetric

Partager

More