TY  - RPRT
TI  - Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition
AU  - Yong Li
AU  - Andrea Turrini
AU  - Weizhi Feng
AU  - Moshe Y. Vardi
AU  - Lijun Zhang
PY  - 2022
UR  - https://arxiv.org/abs/2206.13739
ID  - 2206.13739
ER  -