1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Equivalence of Deterministic Weighted Real-time One-Counter Automata
Prince Mathew, Vincent Penelle, Prakash Saivasan +1
This paper introduces deterministic weighted real-time one-counter automaton (DWROCA). A DWROCA is a deterministic real-time one-counter automaton whose transitions are assigned a…
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…