01 May 2022
Paper accepted at CAV'22
We are proud that our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.
We are proud that our paper proposing a divide-and-conquer determinization algorithm for Büchi automata based on SCC decomposition has been accepted at CAV’22.