Probabilistic automata on infinite words: decidability and undecidability results (Q4931278)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5795616
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Probabilistic automata on infinite words: decidability and undecidability results |
scientific article; zbMATH DE number 5795616 |
Statements
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results (English)
0 references
4 October 2010
0 references
0.950423777103424
0 references
0.8815085291862488
0 references
0.8755854964256287
0 references
0.8701829314231873
0 references
0.8606765866279602
0 references
