Model-Guided Synthesis for LTL over Finite Traces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shengping Xiao, Yongkang Li, Xinyue Huang, Yicong Xu, Jianwen Li, Geguang Pu, Ofer Strichman, Moshe Y. Vardi. Model-Guided Synthesis for LTL over Finite Traces. In Rayna Dimitrova, Ori Lahav 0001, Sebastian Wolff 0001, editors, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Volume 14499 of Lecture Notes in Computer Science, pages 186-207, Springer, 2024. [doi]

This author has not been identified. Look up 'Shengping Xiao' in GoogleThis author has not been identified. Look up 'Yongkang Li' in GoogleThis author has not been identified. Look up 'Xinyue Huang' in GoogleThis author has not been identified. Look up 'Yicong Xu' in GoogleThis author has not been identified. Look up 'Jianwen Li' in GoogleThis author has not been identified. Look up 'Geguang Pu' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL