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 | 83 | 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 | 48 | 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 | 46 | 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 | 30 | 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 | 28 | 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 | 15 | 2019 |
Learning to complement Büchi automata Y Li, A Turrini, L Zhang, S Schewe International Conference on Verification, Model Checking, and Abstract …, 2017 | 15 | 2017 |
On the Power of Unambiguity in B\" uchi Complementation Y Li, MY Vardi, L Zhang arXiv preprint arXiv:2005.09125, 2020 | 10 | 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 | 8 | 2019 |
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 |
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 | 5 | 2022 |
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 | 4 | 2021 |
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 |
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 |
Synthesizing ranking functions for loop programs via SVM Y Li, X Li, Y Li, X Sun, A Turrini, L Zhang Theoretical Computer Science 935, 1-20, 2022 | | 2022 |