Paper accepted to FM 2021

less than 1 minute read

Published:

Paper titled “Congruence Relations for Büchi Automata” is accepted for presentation at FM 2021. This is joint work with Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.