Congruence Relations for Büchi Automata

Published in Proceedings of the 24th International Symposium on Formal Methods (FM 2021), 2021

Recommended citation:

This is joint work with Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi and Lijun Zhang paper.