| Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 93 | 2018 |
| Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications S Bansal, Y Li, L Tabajara, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9766-9774, 2020 | 54 | 2020 |
| Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 49 | 2018 |
| A novel learning algorithm for Büchi automata based on family of DFAs and classification trees Y Li, YF Chen, L Zhang, D Liu Information and Computation 281, 104678, 2021 | 33 | 2021 |
| A comparative study of BDD packages for probabilistic symbolic model checking T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ... Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 29 | 2015 |
| ROLL 1.0:-regular language learning library Y Li, X Sun, A Turrini, YF Chen, J Xu International Conference on Tools and Algorithms for the Construction and …, 2019 | 19 | 2019 |
| Learning to complement Büchi automata Y Li, A Turrini, L Zhang, S Schewe International Conference on Verification, Model Checking, and Abstract …, 2017 | 16 | 2017 |
| On the Power of Unambiguity in B\" uchi Complementation Y Li, MY Vardi, L Zhang arXiv preprint arXiv:2005.09125, 2020 | 12 | 2020 |
| Synthesizing nested ranking functions for loop programs via svm Y Li, X Sun, Y Li, A Turrini, L Zhang Formal Methods and Software Engineering: 21st International Conference on …, 2019 | 9 | 2019 |
| Model Checking Strategies from Synthesis over Finite Traces S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells International Symposium on Automated Technology for Verification and …, 2023 | 7 | 2023 |
| Divide-and-conquer determinization of Büchi automata based on SCC decomposition Y Li, A Turrini, W Feng, MY Vardi, L Zhang International Conference on Computer Aided Verification, 152-173, 2022 | 7 | 2022 |
| An efficient synthesis algorithm for parametric Markov chains against linear time properties Y Li, W Liu, A Turrini, EM Hahn, L Zhang International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 7 | 2016 |
| Synthesizing good-enough strategies for LTLf specifications Y Li, A Turrini, MY Vardi, L Zhang IJCAI, 2021 | 6 | 2021 |
| Congruence relations for Büchi automata Y Li, YK Tsay, A Turrini, MY Vardi, L Zhang Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 5 | 2021 |
| A Novel Family of Finite Automata for Recognizing and Learning -Regular Languages Y Li, S Schewe, Q Tang International Symposium on Automated Technology for Verification and …, 2023 | 3 | 2023 |
| Verify LTL with Fairness Assumptions Efficiently Y Li, L Song, Y Feng, L Zhang 2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016 | 2 | 2016 |
| DFAMiner: Mining minimal separating DFAs from labelled samples D Dell’Erba, Y Li, S Schewe International Symposium on Formal Methods, 48-66, 2024 | 1 | 2024 |
| Proving non-inclusion of Büchi automata based on Monte Carlo sampling Y Li, A Turrini, X Sun, L Zhang International Symposium on Automated Technology for Verification and …, 2020 | 1 | 2020 |
| Singly exponential translation of alternating weak büchi automata to unambiguous büchi automata Y Li, S Schewe, MY Vardi Theoretical Computer Science, 114650, 2024 | | 2024 |
| DAG-Based Compositional Approaches for LTLf to DFA Conversions S Bansal, Y Kankariya, Y Li # PLACEHOLDER_PARENT_METADATA_VALUE#, 227-235, 2024 | | 2024 |
