Shufang Zhu
Scholar

Shufang Zhu

Google Scholar ID: nkOKc3MAAAAJ
University of Liverpool
Artificial IntelligenceFormal MethodsReactive Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
533
 
H-index
12
 
i10-index
16
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
9 items
Optimal LTLf Synthesis
2026
Cited
0
Fast Obligation Translation and Synthesis
2026
Cited
0
On-the-fly LTLf Synthesis under Partial Observability
2026
Cited
0
The Complexity of Games with Randomised Control
2026
Cited
0
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
2025
Cited
0
A Compositional Framework for On-the-Fly LTLf Synthesis
2025
Cited
0
Engineering an LTLf Synthesis Tool
2025
Cited
0
LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains
2025
Cited
0
Resume (English only)
Co-authors
13 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Geguang Pu
Geguang Pu
Professor of Computer Science, East China Normal University
Giuseppe De Giacomo
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
Jianwen Li
Jianwen Li
East China Normal University
Lucas M. Tabajara
Lucas M. Tabajara
Graduate Researcher, Rice University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Lijun Zhang
Lijun Zhang
Institute of Software, Chinese Academy of Sciences