27 citations · 64 across the 15 of their papers we have counts for
1 paper · 1 filter
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…