Upcoming maintenance: ProQuest will be unavailable 10:00 PM ET Saturday, Aug 9 - 6:00 AM ET Sunday, Aug 10. ReadMore

Document Preview Unavailable

Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition

Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y; Zhang, Lijun.  arXiv.org, Jun 28, 2022.

You might have access to this document