Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition
Authors: Yong Li, Andrea Turrini, Weizhi Feng, Moshe Vardi and Lijun Zhang
Paper Information
| Title: | Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition |
| Authors: | Yong Li, Andrea Turrini, Weizhi Feng, Moshe Vardi and Lijun Zhang |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Büchi automata, Determinization, Divide-and-Conquer, Strongly Connected Components, Emerson-Lei automata, Rabin automata, Parity automata |
| Pages: | 21 |
| Talk: | Aug 09 11:40 (Session 102A: Automata and Logic) |
| Paper: |  |