Home » Users » Shufang Zhu

Shufang Zhu

Membro di

Ultime pubblicazioni

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains in European Conference on Artificial Intelligence (ECAI) 2023
Mimicking Behaviors in Separated Domains in THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023
Symbolic LTLf Best-Effort Synthesis in Symbolic LTLf Best-Effort Synthesis 2023
Compositional Safety LTL Synthesis in Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis in IJCAI 2021
On the Power of Automata Minimization in Temporal Synthesis in GandALF 2021 2021
On-the-fly Synthesis for LTL over Finite Traces in AAAI2021 2021
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma