Model-Guided Synthesis for LTL over Finite Traces.

Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi

Browse the full VMCAI paper archive.