Home » Users » Shufang Zhu

Shufang Zhu

Membro di

Ultime pubblicazioni

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains on European Conference on Artificial Intelligence (ECAI) 2023
Mimicking Behaviors in Separated Domains on THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023
Symbolic LTLf Best-Effort Synthesis on Symbolic LTLf Best-Effort Synthesis 2023
Compositional Safety LTL Synthesis on 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 on IJCAI 2021
On the Power of Automata Minimization in Temporal Synthesis on GandALF 2021 2021
On-the-fly Synthesis for LTL over Finite Traces on AAAI2021 2021
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma