Yong Li

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 43

Top Topics

Finite Automata

Regular Languages

Symbolic Model Checking

Markov Decision Processes

Top Venues

Publications

Yong Li, Sven Schewe, Moshe Y. Vardi
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Theor. Comput. Sci. 1006 (2024)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). CoRR (2023)
Yong Li, Sven Schewe, Qiyi Tang
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CONCUR (2023)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
Modular Mix-and-Match Complementation of Büchi Automata. TACAS (1) (2023)
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
Quantitative controller synthesis for consumption Markov decision processes. Inf. Process. Lett. 180 (2023)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the power of finite ambiguity in Büchi complementation. Inf. Comput. 292 (2023)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) (2023)
Yong Li, Sven Schewe, Qiyi Tang
A novel family of finite automata for recognizing and learning ω-regular languages. CoRR (2023)
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
On Strategies in Synthesis Over Finite Traces. CoRR (2023)
Yong Li, Sven Schewe, Moshe Y. Vardi
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. CoRR (2023)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. CoRR (2022)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
Synthesizing ranking functions for loop programs via SVM. Theor. Comput. Sci. 935 (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). SEFM (2022)
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
Towards a Grand Unification of Büchi Complementation Constructions. Principles of Systems Design (2022)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. CAV (2) (2022)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Inf. Comput. 281 (2021)
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Congruence Relations for Büchi Automata. FM (2021)
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
On the Power of Finite Ambiguity in Büchi Complementation. CoRR (2021)
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Synthesizing Good-Enough Strategies for LTLf Specifications. IJCAI (2021)
Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi
Congruence Relations for Büchi Automata. CoRR (2021)
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. SETTA (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. CoRR (2020)
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
SVMRanker: a general termination analysis framework of loop programs via SVM. ESEC/SIGSOFT FSE (2020)
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. ATVA (2020)
Yong Li, Moshe Y. Vardi, Lijun Zhang
On the Power of Unambiguity in Büchi Complementation. GandALF (2020)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI (2020)
Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang
A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks. CoRR (2019)
Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
Synthesizing Nested Ranking Functions for Loop Programs via SVM. ICFEM (2019)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
ROLL 1.0: \omega -Regular Language Learning Library. TACAS (1) (2019)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR (2019)
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced automata-based algorithms for program termination checking. PLDI (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
Learning Büchi Automata and Its Applications. SETSS (2018)
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
Learning to Complement Büchi Automata. VMCAI (2018)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees. TACAS (1) (2017)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. CoRR (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. SETTA (2016)
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently. TIME (2016)
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. CoRR (2016)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees. CoRR (2016)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)