Yong Li
李勇 Yong Li
I am an Associate Research Professor within the TIS group at SKLCS. I was a Marie Skłodowska-Curie Research Fellow at Department of Computer Science, University of Liverpool. Prior to this, I was a Research Assistant within the TIS group at SKLCS.
I received my Ph.D. degree at State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences, advised by Prof. Lijun Zhang.
My main interests are the following:
-
Automata learning [TACAS17;I&C21, SETSS18, FM21, ATVA23b, IJCAI24, FM24]
-
Automata theory [VMCAI18, ATVA20, CAV22, Henzinger60, TACAS23, CONCUR23;TCS24, I&C23]
Quick links to find me:
My contact address: Office 218, Building 5, Software Park, South Fourth St, Zhong Guan Cun, Haidian District, Beijing, PRC
Email: liyong AT ios DOT ac DOT cn
CV | Experience | Education
| Honors | News | Publications
Work Experience
Associate Research Professor, Oct. 2022 - present
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Marie Skłodowska-Curie Research Fellow, Oct. 2022 - Oct. 2024
Department of Computer Science, University of Liverpool.
Research Assistant, April 2020 - Oct. 2022
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Education
Ph.D. in Computer Science, Sept. 2013 - Jan. 2020
University of Chinese Academy of Sciences (UCAS).
B.Sc. in Computer Science, Sept. 2009 - Jun. 2013
Nanjing University of Posts and Telecommunications (NJUPT).
Selected Awards and Honors
Best Paper Award at ATVA 2023 (paper)
Marie Curie Research Fellow 2022
Services
Co-Chair: SYNT 2024
PC Member: ATVA 2024
Reviewer: ICALP 2025, FM 2024, CAV 2024, ICALP 2024, FOSSACS 2024, CSL 2024, CONCUR 2023, CAV 2023, TACAS 2022, CAV 2021, FOSSACS 2020, FM 2019, TASE 2019, ICECCS 2018, LMCS
AE PC Member: iFM 2024, iFM 2023, TACAS 2022, TACAS 2021, TACAS 2019
News
April 30, 2025 Our paper titled “Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives” has been accepted to IJCAI 2025. This is joint work with Giuseppe De Giacomo, Sven Schewe, Christoph Weinhuber and Pian Yu.
April 15, 2025 Our paper titled “Saturation Problems for Families of Automata” has been accepted to ICALP 2025 - Track B. This is joint work with León Bohn, Christof Löding and Sven Schewe.
April 2, 2025 Our paper titled “Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata” has been accepted to CAV’25. This is joint work with Soumyajit Paul, Sven Schewe and Qiyi Tang.
Jan 25, 2025 Our paper titled “Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty” has been accepted to ICRA’25. This is joint work with Pian Yu, Dave Parker and Marta Kwiatkowska.
July 16, 2024 Our FM paper has been awarded Available and Reusable badges. Check out our artifact and paper.
Show More News
July 9, 2024
Our paper titled "DAG-Based Compositional Approaches for LTLf to DFA Conversions" has been accepted to FMCAD'24.
This is joint work with [Suguman Bansal](https://suguman.github.io/) and her undergraduate student Yash Kankariya.
June 11, 2024
Our paper titled "DFAMiner: Mining minimal separating DFAs from labelled samples" has been accepted to FM'24.
This is joint work with [Daniele Dell'Erba](https://cgi.csc.liv.ac.uk/~dde/) and [Sven Schewe](https://cgi.csc.liv.ac.uk/~sven/).
April 17, 2024
Our paper titled "Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata" has been accepted to IJCAI'24.
This is joint work with [Sven Schewe](https://cgi.csc.liv.ac.uk/~sven/) and [Qiyi Tang](https://sites.google.com/view/qiyitang/).
October 30, 2023
Our paper titled "Model Checking Strategies from Synthesis Over Finite Traces" won the Best Paper Award at ATVA'23.
July 1, 2023
Two papers are accepted by ATVA'23:
"On Strategies in Synthesis Over Finite Traces" with Suguman Bansal, Lucas Martinelli Tabajara, Moshe Vardi and Andrew Wells,
"A novel family of finite automata for recognizing and learning omega-regular languages" with Sven Schewe and Qiyi Tang.
June 29, 2023
Our tool [lisa](https://github.com/liyong31/lisa) has won the third place in the LTLf track at [SYNTCOMP 2023](http://www.syntcomp.org/)!
June 28, 2023
Paper titled ["Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata"](https://arxiv.org/pdf/2305.09966.pdf) accepted by CONCUR'23.
This is joint work with Sven Schewe and Moshe Vardi.
December 23, 2022
Paper titled "Modular Mix-and-Match Complementation of Büchi automata" accepted by TACAS'23.
This is joint work with Vojtěch Havlena, Ondřej Lengál, Barbora Šmahlíková, and Andrea Turrini.
September 6, 2022
Paper titled "Compositional Safety LTL Synthesis" accepted by VSTTE'22.
This is joint work with Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, and Shufang Zhu.
August 1, 2022
Excited to present joint work with Moshe on Büchi determinization at VardiFest to celebrate the pioneering role of Moshe Vardi in many fields.
My slide deck is available here.
July 8, 2022
Paper titled "Synthesizing Ranking Functions for Loop Programs via SVM" accepted by Theoretical Computer Science Journal.
This work extends our ICFEM'19 paper by utilizing SVM to learn multiphase ranking functions.
June 6, 2022
Check out our invited paper on Büchi complementation to Thomas Henzinger Festschrift - Conference celebrating his 60th birthday.
June 4, 2022
Submission to CAV-AE 2022 awarded Available and Reusable badges.
May 1, 2022
Paper titled "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition" accepted to CAV 2022. This is joint work with Andrea Turrini, Weizhi Feng, Moshe Vardi, and Lijun Zhang.