Yong Li

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The central limit theorems for integrable Hamiltonian systems perturbed by white noise (available as arXiv preprint)	N/A	Paper
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata	2025-06-26	Paper
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata Theoretical Computer Science	2024-06-26	Paper
Efficient preparation of lossless quantum images based on gray code Quantum Information Processing	2024-05-30	Paper
Dynamics and data fitting of a time-delayed SIRS hepatitis B model with psychological inhibition factor and limited medical resources International Journal of Biomathematics	2024-05-23	Paper
Modular mix-and-match complementation of Büchi automata	2023-12-13	Paper
Towards a grand unification of Büchi complementation constructions Lecture Notes in Computer Science	2023-08-10	Paper
On the power of finite ambiguity in Büchi complementation Information and Computation	2023-05-19	Paper
Congruence Relations for Büchi Automata	2023-04-21	Paper
Quantitative controller synthesis for consumption Markov decision processes Information Processing Letters	2023-01-30	Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling 1517.68205	2022-12-22	Paper
Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition	2022-12-07	Paper
Synthesizing ranking functions for loop programs via SVM Theoretical Computer Science	2022-10-14	Paper
On the power of unambiguity in Büchi complementation (available as arXiv preprint)	2022-01-11	Paper
On the power of unambiguity in Büchi complementation	2022-01-11	Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees Information and Computation	2021-11-25	Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Learning to complement Büchi automata Lecture Notes in Computer Science	2020-07-07	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties (available as arXiv preprint)	2018-08-16	Paper

Research outcomes over time

This page was built for person: Yong Li