Similar Items: Edit Distance for Pushdown Automata
- Model Checking Probabilistic Pushdown Automata
- Good-for-games $omega$-Pushdown Automata
- Beyond Language Equivalence on Visibly Pushdown Automata
- Model-Checking of Ordered Multi-Pushdown Automata
- Reachability Problem for Weak Multi-Pushdown Automata
- Minimization of visibly pushdown automata is NP-complete