40 citations · 189 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 2 cited
Certifying DFA Bounds for Recognition and Separation
Orna Kupferman, Nir Lavee, Salomon Sickert
The automation of decision procedures makes certification essential. We suggest to use determinacy of turn-based two-player games with regular winning conditions in order to genera…
cs.FL2021★ 7 cited
Certifying Inexpressibility
Orna Kupferman, Salomon Sickert
Different classes of automata on infinite words have different expressive power. Deciding whether a given language can be expressed by an automaton of a desired c…