Paper accepted to CAV 2022

less than 1 minute read

Published:

Paper titled “Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition” is accepted for presentation at CAV 2022. This is joint work with Andrea Turrini, Weizhi Feng, Moshe Vardi and Lijun Zhang.