TY  - RPRT
TI  - Weak Bisimulation Finiteness of Pushdown Systems With Deterministic $\varepsilon$-Transitions Is 2-ExpTime-Complete
AU  - Stefan Göller
AU  - Paweł Parys
PY  - 2026
DO  - 10.1137/1.9781611977554.ch105
UR  - https://arxiv.org/abs/2608.10583
ID  - 2608.10583
ER  -