3 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Bader Abu Radi, Orna Kupferman
A nondeterministic automaton is semantically deterministic (SD) if different nondeterministic choices in the automaton lead to equivalent states. Semantic determinism is interestin…