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.
Xiao Shengping, Li Jianwen, Zhu Shufang, Shi Yingying, Pu Geguang, Vardi Moshe Y.
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang

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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma