| Symbolic LTLf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi International Joint Conference on Artificial Intelligence, 1362-1369, 2017 | 109 | 2017 |
| A Symbolic Approach to Safety ltl Synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 46 | 2017 |
| LTLƒ Synthesis with Fairness and Stability Assumptions S Zhu, G De Giacomo, G Pu, MY Vardi Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 3088-3095, 2020 | 34 | 2020 |
| SAT-based explicit LTL reasoning J Li, S Zhu, G Pu, MY Vardi Hardware and Software: Verification and Testing: 11th International Haifa …, 2015 | 34 | 2015 |
| First-order vs. second-order encodings for-to-automata translation S Zhu, G Pu, MY Vardi International Conference on Theory and Applications of Models of Computation …, 2019 | 31 | 2019 |
| Two-stage technique for LTLf synthesis under LTL assumptions G De Giacomo, A Di Stasio, MY Vardi, S Zhu Proceedings of the International Conference on Principles of Knowledge …, 2020 | 21 | 2020 |
| Safety model checking with complementary approximations J Li, S Zhu, Y Zhang, G Pu, MY Vardi 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 95-100, 2017 | 20 | 2017 |
| On-the-fly synthesis for LTL over finite traces S Xiao, J Li, S Zhu, Y Shi, G Pu, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6530-6537, 2021 | 17 | 2021 |
| SAT-based explicit LTL reasoning and its application to satisfiability checking J Li, S Zhu, G Pu, L Zhang, MY Vardi Formal Methods in System Design 54, 164-190, 2019 | 17 | 2019 |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis G De Giacomo, A Di Stasio, LM Tabajara, M Vardi, S Zhu International Joint Conference on Artificial Intelligence, 1852-1858, 2021 | 15 | 2021 |
| LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work G De Giacomo, M Favorito, J Li, MY Vardi, S Xiao, S Zhu International Joint Conference on Artificial Intelligence, 2591-2598, 2022 | 13 | 2022 |
| Compositional Safety LTL Synthesis S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu Verified Software. Theories, Tools and Experiments. 14th International …, 2022 | 11 | 2022 |
| On the Power of Automata Minimization in Temporal Synthesis S Zhu, LM Tabajara, G Pu, MY Vardi The 12th International Symposium on Games, Automata, Logics, and Formal …, 2021 | 10* | 2021 |
| An explicit transition system construction approach to LTL satisfiability checking J Li, L Zhang, S Zhu, G Pu, MY Vardi, J He Formal Aspects of Computing 30, 193-217, 2018 | 7 | 2018 |
| Synthesis with mandatory stop actions G De Giacomo, A Di Stasio, G Perelli, S Zhu Proceedings of the International Conference on Principles of Knowledge …, 2021 | 5 | 2021 |
| Act for Your Duties but Maintain Your Rights S Zhu, G De Giacomo Proceedings of the International Conference on Principles of Knowledge …, 2022 | 3 | 2022 |
| Synthesis of Maximally Permissive Strategies for LTLf Specifications S Zhu, G De Giacomo International Joint Conference on Artificial Intelligence, 2783-2789, 2022 | 3 | 2022 |
| Symbolic LTL f Best-Effort Synthesis G De Giacomo, G Parretti, S Zhu European Conference on Multi-Agent Systems, 228-243, 2023 | 1 | 2023 |
| Mimicking Behaviors in Separated Domains (Abstract Reprint) G De Giacomo, D Fried, F Patrizi, S Zhu Proceedings of the AAAI Conference on Artificial Intelligence 38 (20), 22695 …, 2024 | | 2024 |
| LTL f Synthesis Under Environment Specifications for Reachability and Safety Properties B Aminof, G De Giacomo, A Di Stasio, H Francon, S Rubin, S Zhu European Conference on Multi-Agent Systems, 263-279, 2023 | | 2023 |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
