Shufang Zhu

Pubblicazioni

Titolo Pubblicato in Anno
Mimicking Behaviors in Separated Domains THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2023
Symbolic LTLf Best-Effort Synthesis Symbolic LTLf Best-Effort Synthesis 2023
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains European Conference on Artificial Intelligence (ECAI) 2023
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings 2023
Compositional Safety LTL Synthesis Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022
Synthesis of Maximally Permissive Strategies for LTLf Specifications Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Main Track 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022
Act for Your Duties but Maintain Your Rights Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Main Track 2022
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021
Synthesis with Mandatory Stop Actions KR 2021 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI2021 2021
On the Power of Automata Minimization in Temporal Synthesis GandALF 2021 2021
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020
LTLf Synthesis with Fairness and Stability Assumptions The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020) 2020

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