ML Anthology

Shi, Yingying

1 publications

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