Shufang Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Fast Obligation Translation and Synthesis. | Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu |
| 2026 | FOSSACS | The Complexity of Games with Randomised Control. | Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu |
| 2026 | KR | On-the-fly LTLf Synthesis under Partial Observability. | Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2026 | TASE | Incremental Reinforcement Learning with Temporally Dependent Goals. | Yi Yang, Shufang Zhu, Giuseppe De Giacomo, Qin Zhao, Xinchao Li, Dongdong An |
| 2025 | ECAI | A Compositional Framework for On-the-Fly LTL | Yongkang Li, Shengping Xiao, Shufang Zhu, Jianwen Li, Geguang Pu |
| 2025 | ICAPS | LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2025 | KR | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2025 | TACAS | LydiaSyft: A Compositional Symbolic Synthesis Framework for LTL | Shufang Zhu, Marco Favorito |
| 2024 | AAAI | Mimicking Behaviors in Separated Domains (Abstract Reprint). | Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu |
| 2024 | FM | 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 |
| 2024 | IJCAI | The Trembling-Hand Problem for LTLf Planning. | Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi |
| 2023 | ECAI | LTL | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2023 | EUMAS | sc ltl | Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu |
| 2023 | EUMAS | Symbolic sc ltl | Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu |
| 2022 | IJCAI | Synthesis of Maximally Permissive Strategies for LTLf Specifications. | Shufang Zhu, Giuseppe De Giacomo |
| 2022 | IJCAI | 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 |
| 2022 | KR | Act for Your Duties but Maintain Your Rights. | Shufang Zhu, Giuseppe De Giacomo |
| 2021 | AAAI | On-the-fly Synthesis for LTL over Finite Traces. | Shengping Xiao, Jianwen Li, Shufang Zhu, Yingying Shi, Geguang Pu, Moshe Y. Vardi |
| 2021 | IJCAI | Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. | Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2021 | KR | Synthesis with Mandatory Stop Actions. | Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2020 | AAAI | LTLƒ Synthesis with Fairness and Stability Assumptions. | Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi |
| 2020 | KR | Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. | Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu |
| 2019 | TAMC | First-Order vs. Second-Order Encodings for LTL | Shufang Zhu, Geguang Pu, Moshe Y. Vardi |
| 2017 | ICCAD | Safety model checking with complementary approximations. | Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi |
| 2017 | IJCAI | Symbolic LTLf Synthesis. | Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi |