3 citations · 4 across the 6 of their papers we have counts for
1 paper · 2 filters
Bader Abu Radi, Orna Kupferman
While many applications of automata in formal methods can use nondeterministic automata, some applications, most notably synthesis, need deterministic or good-for-games (GFG) autom…