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
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis on IJCAI | 2021 |
| On the Power of Automata Minimization in Temporal Synthesis on GandALF 2021 | 2021 |
| On-the-fly Synthesis for LTL over Finite Traces on AAAI2021 | 2021 |
| Synthesis with Mandatory Stop Actions on KR 2021 | 2021 |
| LTLf Synthesis with Fairness and Stability Assumptions on The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) | 2020 |
| Two-Stage Technique for LTLf Synthesis Under LTL Assumptions on Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning | 2020 |