Shufang Zhu

According to our database, Shufang Zhu authored at least 32 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

ltl synthesis under environment specifications for reachability and safety properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Inf. Comput., 2025

2024

Learning to Coordinate without Communication under Incomplete Information.

Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu

CoRR, 2024

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.

Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi

CoRR, 2024

The Trembling-Hand Problem for LTLf Planning.

Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.

Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte

Proceedings of the Formal Methods - 26th International Symposium, 2024

Mimicking Behaviors in Separated Domains (Abstract Reprint).

Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mimicking Behaviors in Separated Domains.

Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

J. Artif. Intell. Res., 2023

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

CoRR, 2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

CoRR, 2023

Symbolic LTLf Best-Effort Synthesis.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

CoRR, 2023

Symbolic sc ltl_f Best-Effort Synthesis.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

sc ltl_f Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

LTL_f Best-Effort Synthesis in Nondeterministic Planning Domains.

Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Finite-trace and generalized-reactivity specifications in temporal synthesis.

Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

Formal Methods Syst. Des., December, 2022

Compositional Safety LTL Synthesis.

Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Act for Your Duties but Maintain Your Rights.

Shufang Zhu, Giuseppe De Giacomo

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 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

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Synthesis of Maximally Permissive Strategies for LTLf Specifications.

Shufang Zhu, Giuseppe De Giacomo

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

On the Power of Automata Minimization in Temporal Synthesis.

Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Synthesis with Mandatory Stop Actions.

Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

On-the-fly Synthesis for LTL over Finite Traces.

Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.

Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

LTLƒ Synthesis with Fairness and Stability Assumptions.

Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

SAT-based explicit LTL reasoning and its application to satisfiability checking.

Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi

Formal Methods Syst. Des., 2019

First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

CoRR, 2019

First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation.

Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Proceedings of the Theory and Applications of Models of Computation, 2019

2018

An explicit transition system construction approach to LTL satisfiability checking.

Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He

Formal Aspects Comput., 2018

2017

Symbolic LTLf Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Safety model checking with complementary approximations.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

A Symbolic Approach to Safety ltl Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Approximate Reachability.

Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi

CoRR, 2016

2015

SAT-Based Explicit LTL Reasoning.

Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2015