Xiao, Shengping

2 publications

IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

AAAI 2021 On-the-Fly Synthesis for LTL over Finite Traces Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi