@misc{indiciae24033adbfe4b,
  title = {Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition},
  author = {Yong Li and Andrea Turrini and Weizhi Feng and Moshe Y. Vardi and Lijun Zhang},
  year = {2022},
  url = {https://arxiv.org/abs/2206.13739},
  note = {Source identifier: 2206.13739}
}