Qualitative Reachability in Stochastic BPA Games (Q5389978)
From MaRDI portal
scientific article; zbMATH DE number 6027217
Language | Label | Description | Also known as |
---|---|---|---|
English | Qualitative Reachability in Stochastic BPA Games |
scientific article; zbMATH DE number 6027217 |
Statements
24 April 2012
0 references
stochastic games
0 references
reachability
0 references
pushdown automata
0 references
Qualitative Reachability in Stochastic BPA Games (English)
0 references