Yong Li

61 papers A* 8A 1B 8C 2Misc 3Journal 25Unranked 14
YearRankTypeTitle / Venue / Authors
2026 A* conf
Good-for-MDP State Reduction for Stochastic LTL Planning.
AAAI
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2026 B conf
SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation.
VMCAI
Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang
2025 — conf
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
CAV (2)
Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang
2025 J jnl
Efficient Decomposition Identification of Deterministic Finite Automata from Examples.
CoRR
Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang
2025 A conf
Efficient Learning of Weak Deterministic Büchi Automata.
ECAI
Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025 J jnl
Efficient Learning of Weak Deterministic Büchi Automata.
CoRR
Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025 J jnl
Good-for-MDP State Reduction for Stochastic LTL Planning.
CoRR
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025 A* conf
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.
ICRA
Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025 J jnl
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.
CoRR
Pian Yu, Yong Li, David Parker, Marta Kwiatkowska
2025 A* conf
Saturation Problems for Families of Automata.
ICALP
León Bohn, Yong Li, Christof Löding, Sven Schewe
2025 J jnl
Saturation Problems for Families of Automata.
CoRR
León Bohn, Yong Li, Christof Löding, Sven Schewe
2025 A* conf
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
IJCAI
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2025 J jnl
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
CoRR
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
2024 A* conf
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata.
IJCAI
Yong Li, Sven Schewe, Qiyi Tang
2024 B conf
DAG-Based Compositional Approaches for LTLf to DFA Conversions.
FMCAD
Suguman Bansal, Yash Kankariya, Yong Li
2024 — conf
DFAMiner: Mining Minimal Separating DFAs from Labelled Samples.
FM (2)
Daniele Dell'Erba, Yong Li, Sven Schewe
2024 J jnl
DFAMiner: Mining minimal separating DFAs from labelled samples.
CoRR
Daniele Dell'Erba, Yong Li, Sven Schewe
2024 J jnl
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.
Theor. Comput. Sci.
Yong Li, Sven Schewe, Moshe Y. Vardi
2023 — conf
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages.
ATVA (1)
Yong Li, Sven Schewe, Qiyi Tang
2023 J jnl
A novel family of finite automata for recognizing and learning ω-regular languages.
CoRR
Yong Li, Sven Schewe, Qiyi Tang
2023 — conf
Model Checking Strategies from Synthesis over Finite Traces.
ATVA (1)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
2023 J jnl
Modular Mix-and-Match Complementation of Büchi Automata (Technical Report).
CoRR
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
2023 — conf
Modular Mix-and-Match Complementation of Büchi Automata.
TACAS (1)
Vojtech Havlena, Ondrej Lengál, Yong Li, Barbora Smahlíková, Andrea Turrini
2023 J jnl
On Strategies in Synthesis Over Finite Traces.
CoRR
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
2023 J jnl
On the power of finite ambiguity in Büchi complementation.
Inf. Comput.
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
2023 J jnl
Quantitative controller synthesis for consumption Markov decision processes.
Inf. Process. Lett.
Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang
2023 B conf
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.
CONCUR
Yong Li, Sven Schewe, Moshe Y. Vardi
2023 J jnl
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata.
CoRR
Yong Li, Sven Schewe, Moshe Y. Vardi
2022 B conf
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).
SEFM
Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang
2022 — conf
Compositional Safety LTL Synthesis.
VSTTE
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
2022 — conf
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition.
CAV (2)
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
2022 J jnl
Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition.
CoRR
Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang
2022 B conf
EPMC Gets Knowledge in Multi-agent Systems.
VMCAI
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
2022 J jnl
Synthesizing ranking functions for loop programs via SVM.
Theor. Comput. Sci.
Yi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
2022 — conf
Towards a Grand Unification of Büchi Complementation Constructions.
Principles of Systems Design
Moshe Y. Vardi, Seth Fogarty, Yong Li, Yih-Kuen Tsay
2021 J jnl
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees.
Inf. Comput.
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2021 B conf
Congruence Relations for Büchi Automata.
FM
Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
2021 J jnl
Congruence Relations for Büchi Automata.
CoRR
Yong Li, Yih-Kuen Tsay, Moshe Y. Vardi
2021 J jnl
On the Power of Finite Ambiguity in Büchi Complementation.
CoRR
Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
2021 A* conf
Synthesizing Good-Enough Strategies for LTLf Specifications.
IJCAI
Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
2020 A* conf
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
AAAI
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
2020 Misc conf
Modelling and Implementation of Unmanned Aircraft Collision Avoidance.
SETTA
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li
2020 — conf
On the Power of Unambiguity in Büchi Complementation.
GandALF
Yong Li, Moshe Y. Vardi, Lijun Zhang
2020 J jnl
Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling.
CoRR
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
2020 B conf
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling.
ATVA
Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang
2020 — conf
SVMRanker: a general termination analysis framework of loop programs via SVM.
ESEC/SIGSOFT FSE
Xie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang
2019 J jnl
A Noise-Sensitivity-Analysis-Based Test Prioritization Technique for Deep Neural Networks.
CoRR
Long Zhang, Xuechao Sun, Yong Li, Zhenyu Zhang
2019 J jnl
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.
CoRR
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
2019 — conf
ROLL 1.0: \omega -Regular Language Learning Library.
TACAS (1)
Yong Li, Xuechao Sun, Andrea Turrini, Yu-Fang Chen, Junnan Xu
2019 C conf
Synthesizing Nested Ranking Functions for Loop Programs via SVM.
ICFEM
Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang
2018 A* conf
Advanced automata-based algorithms for program termination checking.
PLDI
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
2018 — conf
Learning Büchi Automata and Its Applications.
SETSS
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
2018 B conf
Learning to Complement Büchi Automata.
VMCAI
Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
2018 — conf
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
TACAS (2)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
2017 — conf
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees.
TACAS (1)
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2016 J jnl
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees.
CoRR
Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu
2016 Misc conf
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
SETTA
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2016 J jnl
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties.
CoRR
Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang
2016 C conf
Verify LTL with Fairness Assumptions Efficiently.
TIME
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
2016 J jnl
Verify LTL with Fairness Assumptions Efficiently.
CoRR
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
2015 Misc conf
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
SETTA
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang