Similar Items: Model Checking Probabilistic Pushdown Automata
- Model-Checking of Ordered Multi-Pushdown Automata
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
- Model Checking Probabilistic Timed Automata with One or Two Clocks
- Edit Distance for Pushdown Automata
- Good-for-games $omega$-Pushdown Automata
- Module checking of pushdown multi-agent systems