You May Also Enjoy
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.
Paper accepted to IJCAI 2021
less than 1 minute read
Published:
Paper titled “Synthesizing Good-Enough Strategies for LTLf Specifications” is accepted for presentation at IJCAI 2021. This is joint work with Andrea Turrini, Moshe Y. Vardi and Lijun Zhang.
Paper accepted to Tool Demo Track of ESEC/FSE 2020
less than 1 minute read
Published:
Paper titled “SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM” is accepted to the Tool Demostrations Track of ESEC/FSE 2020. This is joint work with Xie Li, Yi Li, Andrea Turrini, Xuechao Sun and Lijun Zhang.
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.