Shufang Zhu

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 35

Top Topics

Planning Domains

Deterministic Automata

Top Venues

Publications

Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
The Trembling-Hand Problem for LTLf Planning. CoRR (2024)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI (2024)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Best-Effort Synthesis. EUMAS (2023)
Shufang Zhu, Giuseppe De Giacomo
Act for Your Duties but Maintain Your Rights. CoRR (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77 (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Symbolic LTLf Best-Effort Synthesis. CoRR (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR (2023)
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
Best-Effort Synthesis in Nondeterministic Planning Domains. ECAI (2023)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. CoRR (2022)
Shufang Zhu, Giuseppe De Giacomo
Act for Your Duties but Maintain Your Rights. KR (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI (2022)
Shufang Zhu, Giuseppe De Giacomo
Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61 (2) (2022)
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
On the Power of Automata Minimization in Temporal Synthesis. GandALF (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI (2021)
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
On-the-fly Synthesis for LTL over Finite Traces. AAAI (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Synthesis with Mandatory Stop Actions. KR (2021)
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI (2020)
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR (2020)
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation. TAMC (2019)
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation. CoRR (2019)
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
SAT-based explicit LTL reasoning and its application to satisfiability checking. Formal Methods Syst. Des. 54 (2) (2019)
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
LTLf Synthesis with Fairness and Stability Assumptions. CoRR (2019)
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
An explicit transition system construction approach to LTL satisfiability checking. Formal Aspects Comput. 30 (2) (2018)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety LTL Synthesis. CoRR (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. IJCAI (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Safety model checking with complementary approximations. ICCAD (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. CoRR (2017)
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
Approximate Reachability. CoRR (2016)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-Based Explicit LTL Reasoning. Haifa Verification Conference (2015)
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
SAT-based Explicit LTL Reasoning. CoRR (2015)