Yong Li

According to our database, Yong Li authored at least 38 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.

Yong Li, Sven Schewe, Moshe Y. Vardi

Theor. Comput. Sci., 2024

Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata.

Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.

Daniele Dell'Erba, Yong Li, Sven Schewe

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

On the power of finite ambiguity in Büchi complementation.

Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Inf. Comput., June, 2023

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 2023

A novel family of finite automata for recognizing and learning ω-regular languages.

Yong Li, Sven Schewe, Qiyi Tang

CoRR, 2023

On Strategies in Synthesis Over Finite Traces.

Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells

CoRR, 2023

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report).

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini

CoRR, 2023

Modular Mix-and-Match Complementation of Büchi Automata.

Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages.

Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Automated Technology for Verification and Analysis, 2023

Model Checking Strategies from Synthesis over Finite Traces.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition".

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Dataset, May, 2022

Synthesizing ranking functions for loop programs via SVM.

Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Theor. Comput. Sci., 2022

Compositional Safety LTL Synthesis.

Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

EPMC Gets Knowledge in Multi-agent Systems.

Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).

Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.

Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Towards a Grand Unification of Büchi Complementation Constructions.

Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay

Proceedings of the Principles of Systems Design, 2022

2021

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.

Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu

Inf. Comput., 2021

Congruence Relations for Büchi Automata.

Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi

CoRR, 2021

Synthesizing Good-Enough Strategies for LTLf Specifications.

Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Congruence Relations for Büchi Automata.

Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

On the Power of Unambiguity in Büchi Complementation.

Yong Li, Moshe Y. Vardi, Lijun Zhang

Proceedings of the Proceedings 11th International Symposium on Games, 2020

SVMRanker: a general termination analysis framework of loop programs via SVM.

Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Modelling and Implementation of Unmanned Aircraft Collision Avoidance.

Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling.

Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang

Proceedings of the Automated Technology for Verification and Analysis, 2020

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.

Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang

CoRR, 2019

ROLL 1.0: \omega -Regular Language Learning Library.

Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Synthesizing Nested Ranking Functions for Loop Programs via SVM.

Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Learning to Complement Büchi Automata.

Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Learning Büchi Automata and Its Applications.

Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Advanced automata-based algorithms for program termination checking.

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Verify LTL with Fairness Assumptions Efficiently.

Yong Li, Lei Song, Yuan Feng, Lijun Zhang

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.

Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015