Shufang Zhu
Biography
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.
Research interest
- Automated Reasoning
- Formal Verification
Membro di
Ultime pubblicazioni
| LTLf Best-Effort Synthesis in Nondeterministic Planning Domains on European Conference on Artificial Intelligence (ECAI) | 2023 |
| LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties on Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings | 2023 |
| Mimicking Behaviors in Separated Domains on THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | 2023 |
| Symbolic LTLf Best-Effort Synthesis on Symbolic LTLf Best-Effort Synthesis | 2023 |
| Act for Your Duties but Maintain Your Rights on Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track | 2022 |
| Compositional Safety LTL Synthesis on Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 | 2022 |
| LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work on IJCAI | 2022 |