Game characterization of probabilistic bisimilarity, and applications to pushdown automata (Q4558784)
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: Game characterization of probabilistic bisimilarity, and applications to pushdown automata |
scientific article; zbMATH DE number 6987092
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Game characterization of probabilistic bisimilarity, and applications to pushdown automata |
scientific article; zbMATH DE number 6987092 |
Statements
30 November 2018
0 references
probabilistic bisimulation equivalence
0 references
pushdown automata
0 references
0 references
0 references
0 references
0.94710111618042
0 references
0.8439343571662903
0 references
0.8407054543495178
0 references
0.8280165195465088
0 references
0.8280163407325745
0 references
