Shengping Xiao

According to our database, Shengping Xiao authored at least 14 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

An On-the-Fly Synthesis Framework for LTL over Finite Traces.

Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi

ACM Trans. Softw. Eng. Methodol., April, 2026

2025

A Compositional Framework for On-the-Fly LTLf Synthesis.

Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu

CoRR, August, 2025

A Compositional Framework for On-the-Fly LTL_f Synthesis.

Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Computing minimal unsatisfiable core for LTL over finite traces.

Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi

J. Log. Comput., 2024

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.

Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi

CoRR, 2024

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Accelerate Safety Model Checking Based on Complementary Approximate Reachability.

Xiaoyu Zhang, Shengping Xiao, Yechuan Xia, Jianwen Li, Mingsong Chen, Geguang Pu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2023

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

LTLf Satisfiability Checking via Formula Progression (S).

Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2022

Identifying Boundary Conditions with the Syntax and Semantic Information of Goals.

Yechuan Xia, Jianwen Li, Shengping Xiao, Weikai Miao, Geguang Pu

CoRR, 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

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Combining BMC and Complementary Approximate Reachability to Accelerate Bug-Finding.

Xiaoyu Zhang, Shengping Xiao, Jianwen Li, Geguang Pu, Ofer Strichman

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022

2021

On-the-fly Synthesis for LTL over Finite Traces.

Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

SAT-Based Automata Construction for LTL over Finite Traces.

Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020