48 citations · 172 across the 22 of their papers we have counts for
1 paper · 1 filter
Rüdiger Ehlers
Chains of co-Büchi automata (COCOA) have recently been introduced as a new canonical model for representing arbitrary omega-regular languages. They can be minimized in polynomial t…