Zhu, Shufang

9 publications

AAAI 2024 Mimicking Behaviors in Separated Domains (Abstract Reprint) Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

IJCAI 2024 The Trembling-Hand Problem for LTLf Planning Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi

JAIR 2023 Mimicking Behaviors in Separated Domains Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

IJCAI 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu

IJCAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications Shufang Zhu, Giuseppe De Giacomo

IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

AAAI 2021 On-the-Fly Synthesis for LTL over Finite Traces Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

IJCAI 2017 Symbolic LTLf Synthesis Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi