39 citations · 66 across the 9 of their papers we have counts for
1 paper · 1 filter
Matthias Heizmann, Christian Schilling, Daniel Tischner
We consider the problem of state-space reduction for nondeterministic weakly-hierarchical visibly pushdown automata (VPA). VPA recognize a robust and algorithmically tractable frag…