Upper Bound for the Determinization of Emerson-Lei Automata: A One-Fin Approach.

Runzhe Ma, Cong Tian, Wensheng Wang, Zhenhua Duan

Browse the full CAV paper archive.