Skip to Main content Skip to Navigation
Journal articles

Probabilistic omega-automata

Christel Baier 1 Nathalie Bertrand 2 Marcus Groesser 1 
1 Department of Computer Science [Dresden]
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00743907
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Sunday, October 21, 2012 - 10:14:49 PM
Last modification on : Friday, February 4, 2022 - 3:17:24 AM

Identifiers

Collections

INRIA | INRIA2

Citation

Christel Baier, Nathalie Bertrand, Marcus Groesser. Probabilistic omega-automata. Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩. ⟨hal-00743907⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

38

 

Contact                    Legal Notice                    Personal Data