35 citations · 151 across the 21 of their papers we have counts for
Showing 2015 · cs.FLShow all
2 papers · 2 filters
cs.FL2015
Ordered Tree-Pushdown Systems
Lorenzo Clemente, Paweł Parys, Sylvain Salvati +1
We define a new class of pushdown systems where the pushdown is a tree instead of a word. We allow a limited form of lookahead on the pushdown conforming to a certain ordering rest…
cs.FL2015★ 2 cited
A Note on Monitors and Büchi automata
Volker Diekert, Anca Muscholl, Igor Walukiewicz
When a property needs to be checked against an unknown or very complex system, classical exploration techniques like model-checking are not applicable anymore. Sometimes a~monitor…