Yong Li

Available identifiers

zbMath Open li.yong.11MaRDI QIDQ1660782

List of research outcomes

Publication	Date of Publication	Type
Towards a grand unification of Büchi complementation constructions	2023-08-10	Paper
On the power of finite ambiguity in Büchi complementation	2023-05-19	Paper
Quantitative controller synthesis for consumption Markov decision processes	2023-01-30	Paper
Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling	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	2022-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q5021011	2022-01-11	Paper
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees	2021-11-25	Paper
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees	2020-08-05	Paper
Learning to Complement Büchi Automata	2020-07-07	Paper
An efficient synthesis algorithm for parametric Markov chains against linear time properties	2018-08-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yong Li