Shufang Zhu
Biografia
Shufang Zhu is a Research Associate at the Dipartimento di Ingegneria Informatica, Automatica e Gestionale. Sapienza University of Rome, working with Prof. Giuseppe De Giacomo on his Advanced ERC project WhiteMech.
Riconoscimenti e premi
- Automated Reasoning
- Formal Verification
Membro di
Ultime pubblicazioni
| LTLf Best-Effort Synthesis in Nondeterministic Planning Domains in European Conference on Artificial Intelligence (ECAI) | 2023 |
| Mimicking Behaviors in Separated Domains in THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2023 |
| Symbolic LTLf Best-Effort Synthesis in Symbolic LTLf Best-Effort Synthesis | 2023 |
| Compositional Safety LTL Synthesis in Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 | 2022 |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis in IJCAI | 2021 |
| On the Power of Automata Minimization in Temporal Synthesis in GandALF 2021 | 2021 |
| On-the-fly Synthesis for LTL over Finite Traces in AAAI2021 | 2021 |