Yong Li
Yong Li
Institue of Software, Chinese Academy of Sciences
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
Learning to complement Büchi automata
Y Li, A Turrini, L Zhang, S Schewe
International Conference on Verification, Model Checking, and Abstract …, 2017
On the Power of Unambiguity in B\" uchi Complementation
Y Li, MY Vardi, L Zhang
arXiv preprint arXiv:2005.09125, 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
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
Synthesizing good-enough strategies for LTLf specifications
Y Li, A Turrini, MY Vardi, L Zhang
IJCAI, 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
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
Verify LTL with Fairness Assumptions Efficiently
Y Li, L Song, Y Feng, L Zhang
2016 23rd International Symposium on Temporal Representation and Reasoning …, 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
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
The system can't perform the operation now. Try again later.
Articles 1–16