34 citations · 85 across the 19 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2014
Maximally Permissive Controlled System Synthesis for Modal Logic
Allan van Hulst, Michel Reniers, Wan Fokkink
We propose a new method for controlled system synthesis on non-deterministic automata, which includes the synthesis for deadlock-freeness, as well as invariant and reachability exp…
cs.FL2013
Detecting Useless Transitions in Pushdown Automata
Wan Fokkink, Dick Grune, Brinio Hond +1
Pushdown automata may contain transitions that are never used in any accepting run of the automaton. We present an algorithm for detecting such useless transitions. A finite automa…