4 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
Jerzy Marcinkowski, Jakub Michaliszyn
It is well known, and easy to see, that not each nondeterministic Buchi automaton on infinite words can be simulated by a nondeterministic co-Buchi automaton. We show that in the c…