31 citations · 56 across the 19 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.FL2010★ 3 cited
A Short Decidability Proof for DPDA Language Equivalence via First-Order Grammars
Petr Jancar
The main aim of the paper is to give a short self-contained proof of the decidability of language equivalence for deterministic pushdown automata, which is the famous problem solve…
cs.GT2010
Reachability Games on Extended Vector Addition Systems with States
Tomas Brazdil, Petr Jancar, Antonin Kucera
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin…