Exponential Determinization for omega-Automata with Strong-Fairness Acceptance Condition (Extended Abstract)

Shmuel Safra

Browse the full STOC paper archive.