10 citations · 44 across the 22 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.FL2016★ 1 cited
Nested Words for Order-2 Pushdown Systems
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…
cs.FL2016★ 7 cited
Analyzing Timed Systems Using Tree Automata
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
Timed systems, such as timed automata, are usually analyzed using their operational semantics on timed words. The classical region abstraction for timed automata reduces them to (u…