Shufang Zhu

53 papers A* 12A 3B 1C 4Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
An On-the-Fly Synthesis Framework for LTL over Finite Traces.
ACM Trans. Softw. Eng. Methodol.
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2026 B conf
The Complexity of Games with Randomised Control.
FoSSaCS
Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2026 J jnl
The Complexity of Games with Randomised Control.
CoRR
Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2025 A conf
A Compositional Framework for On-the-Fly LTL
ECAI
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2025 J jnl
A Compositional Framework for On-the-Fly LTLf Synthesis.
CoRR
Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu
2025 A* conf
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
KR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 J jnl
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis.
CoRR
Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025 C conf
Engineering an LTL
CIAA
Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025 J jnl
Engineering an LTLf Synthesis Tool.
CoRR
Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025 J jnl
LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2025 J jnl
LTLf synthesis under environment specifications for reachability and safety properties.
Inf. Comput.
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2025 — conf
Learning to Coordinate without Communication under Incomplete Information.
OVERLAY
Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2025 — conf
LydiaSyft: A Compositional Symbolic Synthesis Framework for LTL
TACAS (1)
Shufang Zhu, Marco Favorito
2025 J jnl
Symbolic ltl
SN Comput. Sci.
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2024 J jnl
Learning to Coordinate without Communication under Incomplete Information.
CoRR
Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2024 A* conf
Mimicking Behaviors in Separated Domains (Abstract Reprint).
AAAI
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2024 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024 J jnl
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts.
CoRR
Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2024 A* conf
The Trembling-Hand Problem for LTLf Planning.
IJCAI
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2024 J jnl
The Trembling-Hand Problem for LTLf Planning.
CoRR
Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi
2023 J jnl
Act for Your Duties but Maintain Your Rights.
CoRR
Shufang Zhu, Giuseppe De Giacomo
2023 A conf
LTL
ECAI
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 J jnl
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 J jnl
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.
CoRR
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2023 J jnl
Mimicking Behaviors in Separated Domains.
J. Artif. Intell. Res.
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2023 J jnl
Symbolic LTLf Best-Effort Synthesis.
CoRR
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 C conf
Symbolic sc ltl
EUMAS
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu
2023 C conf
sc ltl
EUMAS
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2022 A* conf
Act for Your Duties but Maintain Your Rights.
KR
Shufang Zhu, Giuseppe De Giacomo
2022 — conf
Compositional Safety LTL Synthesis.
VSTTE
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
2022 J jnl
Finite-trace and generalized-reactivity specifications in temporal synthesis.
Formal Methods Syst. Des.
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2022 A* conf
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work.
IJCAI
Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu
2022 J jnl
Mimicking Behaviors in Separated Domains.
CoRR
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
2022 A* conf
Synthesis of Maximally Permissive Strategies for LTLf Specifications.
IJCAI
Shufang Zhu, Giuseppe De Giacomo
2021 A* conf
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.
IJCAI
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2021 — conf
On the Power of Automata Minimization in Temporal Synthesis.
GandALF
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
2021 A* conf
On-the-fly Synthesis for LTL over Finite Traces.
AAAI
Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi
2021 A* conf
Synthesis with Mandatory Stop Actions.
KR
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
2020 A* conf
LTLƒ Synthesis with Fairness and Stability Assumptions.
AAAI
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2020 A* conf
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.
KR
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
2019 C conf
First-Order vs. Second-Order Encodings for LTL
TAMC
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2019 J jnl
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation.
CoRR
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2019 J jnl
LTLf Synthesis with Fairness and Stability Assumptions.
CoRR
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi
2019 J jnl
SAT-based explicit LTL reasoning and its application to satisfiability checking.
Formal Methods Syst. Des.
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
2018 J jnl
An explicit transition system construction approach to LTL satisfiability checking.
Formal Aspects Comput.
Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He
2017 J jnl
A Symbolic Approach to Safety LTL Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 — conf
A Symbolic Approach to Safety ltl Synthesis.
Haifa Verification Conference
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 A conf
Safety model checking with complementary approximations.
ICCAD
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2017 A* conf
Symbolic LTLf Synthesis.
IJCAI
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2017 J jnl
Symbolic LTLf Synthesis.
CoRR
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2016 J jnl
Approximate Reachability.
CoRR
Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2015 — conf
SAT-Based Explicit LTL Reasoning.
Haifa Verification Conference
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi
2015 J jnl
SAT-based Explicit LTL Reasoning.
CoRR
Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi