Follow
Yong Li
Yong Li
Institue of Software, Chinese Academy of Sciences
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
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
932018
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
542020
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
492018
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
332021
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
292015
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
192019
Learning to complement Büchi automata
Y Li, A Turrini, L Zhang, S Schewe
International Conference on Verification, Model Checking, and Abstract …, 2017
162017
On the Power of Unambiguity in B\" uchi Complementation
Y Li, MY Vardi, L Zhang
arXiv preprint arXiv:2005.09125, 2020
122020
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
92019
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
72023
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
72022
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
72016
Synthesizing good-enough strategies for LTLf specifications
Y Li, A Turrini, MY Vardi, L Zhang
IJCAI, 2021
62021
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
52021
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
32023
Verify LTL with Fairness Assumptions Efficiently
Y Li, L Song, Y Feng, L Zhang
2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016
22016
DFAMiner: Mining minimal separating DFAs from labelled samples
D Dell’Erba, Y Li, S Schewe
International Symposium on Formal Methods, 48-66, 2024
12024
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
12020
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
The system can't perform the operation now. Try again later.
Articles 1–20