Scholar
Shufang Zhu
Google Scholar ID: nkOKc3MAAAAJ
University of Liverpool
Artificial Intelligence
Formal Methods
Reactive Synthesis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
533
H-index
12
i10-index
16
Publications
20
Co-authors
13
list available
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
Load more
Co-authors
10 total
Moshe Y. Vardi
Rice University
Geguang Pu
Professor of Computer Science, East China Normal University
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
Jianwen Li
East China Normal University
Lucas M. Tabajara
Graduate Researcher, Rice University
Lijun Zhang
Institute of Software, Chinese Academy of Sciences
Suguman Bansal
Assistant Professor, Computer Science, Georgia Institute of Technology
Giuseppe Perelli
Associate Professor at Sapienza University of Rome
