Regularity in PDA Games Revisited (Q5170272)
From MaRDI portal
scientific article; zbMATH DE number 6319806
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Regularity in PDA Games Revisited |
scientific article; zbMATH DE number 6319806 |
Statements
Regularity in PDA Games Revisited (English)
0 references
23 July 2014
0 references
stochastic games
0 references
pushdown automata
0 references
reachability
0 references
regularity
0 references
model-checking
0 references
0 references
