We our proud about our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.
We our proud about our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.