Pubblicazioni di Zhu Shufang
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