Paper accepted to GandALF 2020

less than 1 minute read

Published:

Paper titled “On the Power of Unambiguity in Büchi Complementation” is accepted for presentation at GandALF 2020. This is joint work with Moshe Y. Vardi and Lijun Zhang.