| Symbolic LTLf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi International Joint Conference on Artificial Intelligence, 1362-1369, 2017 | 131 | 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 | 57 | 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 | 41 | 2020 |
| 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 | 35 | 2019 |
| SAT-based explicit LTL reasoning J Li, S Zhu, G Pu, MY Vardi Hardware and Software: Verification and Testing: 11th International Haifa …, 2015 | 35 | 2015 |
| 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 | 27 | 2020 |
| 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 | 25 | 2021 |
| 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 | 24 | 2017 |
| 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 | 23 | 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 | 22 | 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 | 19 | 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 | 16 | 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 |
| Synthesis with mandatory stop actions G De Giacomo, A Di Stasio, G Perelli, S Zhu International Conference on the Principles of Knowledge Representation and …, 2021 | 8 | 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 | 8 | 2018 |
| Symbolic LTL f Best-Effort Synthesis G De Giacomo, G Parretti, S Zhu European Conference on Multi-Agent Systems, 228-243, 2023 | 6 | 2023 |
| LTLf best-effort synthesis in nondeterministic planning domains G De Giacomo, G Parretti, S Zhu arXiv preprint arXiv:2308.15188, 2023 | 6 | 2023 |
| Synthesis of Maximally Permissive Strategies for LTLf Specifications S Zhu, G De Giacomo International Joint Conference on Artificial Intelligence, 2783-2789, 2022 | 6 | 2022 |
| Misconceptions in finite-trace and infinite-trace linear temporal logic B Greenman, S Prasad, A Di Stasio, S Zhu, G De Giacomo, ... International Symposium on Formal Methods, 579-599, 2024 | 3 | 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 | 3 | 2023 |
Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨