1 citations · 1 across the 1 of their papers we have counts for
1 paper
C. Aiswarya, Paul Gastin, Prakash Saivasan
We study linear time model checking of collapsible higher-order pushdown systems (CPDS) of order 2 (manipulating stack of stacks) against MSO and PDL (propositional dynamic logic w…