Equivalence of probabilistic \(\mu\)-calculus and p-automata (Q2399249)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Equivalence of probabilistic -calculus and p-automata |
scientific article; zbMATH DE number 6763314
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equivalence of probabilistic \(\mu\)-calculus and p-automata |
scientific article; zbMATH DE number 6763314 |
Statements
Equivalence of probabilistic \(\mu\)-calculus and p-automata (English)
0 references
22 August 2017
0 references
0 references
0.8090991973876953
0 references
0.8076012134552002
0 references
0.8018097877502441
0 references
0.7978799939155579
0 references
0.7958523035049438
0 references
