7 citations · 7 across the 1 of their papers we have counts for
1 paper
Pierre Ganty, Damir Valput
We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In parti…