Divide-and-Conquer Determinization of Bchi Automata Based on SCC Decomposition.

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Browse the full CAV paper archive.