Pubblicazioni di Zhu Shufang
2023
DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
LTLf Best-Effort Synthesis in Nondeterministic Planning
Domains. European Conference on Artificial Intelligence (ECAI) 2023: 533-540
De Giacomo G., Fried D., Patrizi F., Zhu S.
Mimicking Behaviors in Separated Domains. THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023: 1087-1112
DE GIACOMO Giuseppe, Parretti Gianmarco, Zhu Shufang
Symbolic LTLf Best-Effort Synthesis. Symbolic LTLf Best-Effort Synthesis 2023: -
2022
Bansal Suguman, De Giacomo Giuseppe, Di Stasio Antonio, Li Yong, Vardi Moshe Y., Zhu Shufang
Compositional Safety LTL Synthesis. Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022: 1-19
2021
De Giacomo Giuseppe, Di Stasio Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
Zhu Shufang, Tabajara Lucas M., Pu Geguang, Vardi Moshe Y.
On the Power of Automata Minimization in Temporal Synthesis. GandALF 2021 2021: -
Xiao Shengping, Li Jianwen, Zhu Shufang, Shi Yingying, Pu Geguang, Vardi Moshe Y.
On-the-fly Synthesis for LTL over Finite Traces. AAAI2021 2021: -
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 2021 2021: -
2020
Zhu Shufang, De Giacomo Giuseppe, Pu Geguang, Vardi Moshe Y.
LTLf Synthesis with Fairness and Stability Assumptions. The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020: 3088-3095
De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 304-314