I listed here conference papers only, please refer to CV for the full publication list.
Bansal, Suguman, Kankariya, Yash, and Li, Yong. DAG-Based Compositional Approaches for LTLf to DFA Conversions. In FMCAD 2024 paper tool slides
Dell’Erba, Daniele, Li, Yong, and Schewe, Sven. DFAMiner: Mining minimal separating DFAs from labelled samples . In FM 2024 paper FM paper tool slides
Li, Yong, Schewe, Sven, and Tang, Qiyi. Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata. In IJCAI 2024 paper tool slides
Li, Yong, Schewe, Sven, and Tang, Qiyi. A novel family of finite automata for recognizing and learning omega-regular languages. In ATVA 2023 paper slides
Bansal, Suguman, Yong Li, , Tabajara, Lucas Martinelli, Vardi, Moshe Y., and Wells, Andrew M. Model Checking Strategies from Synthesis Over Finite Traces. In ATVA 2023 paper Best Paper Award
Yong Li, Schewe, Sven, and Vardi, Moshe Y. Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. In CONCUR 2023. paper
Havlena, Vojtech, Lengál, Ondrej, Yong Li, , Smahlı́ková, Barbora, and Turrini, Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In TACAS 2023. paper
Bansal, Suguman, Giacomo, Giuseppe De, Stasio, Antonio Di, Yong Li, , Vardi, Moshe Y., and Zhu, Shufang. Compositional Safety LTL Synthesis. In VSTTE 2022. paper
Yong Li, , Turrini, Andrea, Feng, Weizhi, Vardi, Moshe Y., and Zhang, Lijun. Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. In CAV 2022. paper slides
Yong Li, , Tsay, Yih-Kuen, Turrini, Andrea, Vardi, Moshe Y., and Zhang, Lijun. Congruence Relations for Büchi Automata. In FM 2021. paper slides
Yong Li, , Turrini, Andrea, Vardi, Moshe Y., and Zhang, Lijun . Synthesizing Good-Enough Strategies for LTLf Specifications. In IJCAI 2021. paper slides
Feng, Weizhi, Huang, Cheng-Chao, Turrini, Andrea, and Yong Li. Modelling and Implementation of Unmanned Aircraft Collision Avoidance. In SETTA 2020.
Li, Xie, Li, Yi, Yong Li, , Sun, Xuechao, Turrini, Andrea, and Zhang, Lijun . SVMRanker: A General Termination Analysis Framework of Loop Programs via SVM. In FSE 2020 (tool demo).
Yong Li, , Vardi, Moshe Y., and Zhang, Lijun . On the Power of Unambiguity in Büchi Complementation. In GandALF 2020.
Yong Li, , Turrini, Andrea, Sun, Xuechao, and Zhang, Lijun. Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. In ATVA 2020.
Bansal, Suguman, Yong Li, , Tabajara, Lucas M., and Vardi, Moshe Y. . Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. In AAAI 2020.
Li, Yi, Sun, Xuechao, Yong Li, , Turrini, Andrea, and Zhang, Lijun . Synthesizing Nested Ranking Functions for Loop Programs via SVM. In ICFEM 2019.
Yong Li, , Sun, Xuechao, Turrini, Andrea, Chen, Yu-Fang, and Xu, Junnan . ROLL 1.0: ω-Regular Language Learning Library. In TACAS 2019.
Chen, Yu-Fang, Heizmann, Matthias, Lengál, Ondrej, Yong Li, , Tsai, Ming-Hsien, Turrini, Andrea, and Zhang, Lijun . Advanced automata-based algorithms for program termination checking. In PLDI 2018.
Heizmann, Matthias, Chen, Yu-Fang, Dietsch, Daniel, Greitschus, Marius, Hoenicke, Jochen, Yong Li, , Nutz, Alexander, Musa, Betim, Schilling, Christian, Schindler, Tanja, and Podelski, Andreas. Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). In TACAS 2018.
Yong Li, Turrini, Andrea, Zhang, Lijun, and Schewe, Sven. Learning to Complement Büchi Automata. In VMCAI 2018.
Yong Li, Liu, Wanwei, Turrini, Andrea, Hahn, Ernst Moritz, and Zhang, Lijun . An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. In SETTA 2016.
Yong Li, , Song, Lei, Feng, Yuan, and Zhang, Lijun . Verify LTL with Fairness Assumptions Efficiently. In TIME 2016.