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
6 items
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
Learning to Coordinate without Communication under Incomplete Information
arXiv.org · 2024
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
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Lijun Zhang
Lijun Zhang
Institute of Software, Chinese Academy of Sciences