Qiyi Tang

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
Comparing labelled Markov decision processes	2026-03-23	Paper
Strategies for MDP bisimilarity equivalence and inequivalence	2024-08-13	Paper
Semantic flowers for good-for-games and deterministic automata Information Processing Letters	2024-03-13	Paper
Bridging formal methods and machine learning with model checking and global optimisation Journal of Logical and Algebraic Methods in Programming	2024-02-12	Paper
scientific article; zbMATH DE number 7799626 (Why is no real title available?) (available as arXiv preprint)	2024-02-05	Paper
Deciding probabilistic bisimilarity distance one for labelled Markov chains Computer Aided Verification	2023-05-26	Paper
scientific article; zbMATH DE number 7649917 (Why is no real title available?)	2023-02-03	Paper
Deciding probabilistic bisimilarity distance one for probabilistic automata	2021-08-04	Paper
Computing probabilistic bisimilarity distances for probabilistic automata (available as arXiv preprint)	2021-03-26	Paper
Computing probabilistic bisimilarity distances for probabilistic automata	2021-03-26	Paper
Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains	2020-05-27	Paper
Deciding probabilistic bisimilarity distance one for probabilistic automata Journal of Computer and System Sciences	2020-03-26	Paper
Computing probabilistic bisimilarity distances via policy iteration	2018-03-21	Paper

Research outcomes over time

This page was built for person: Qiyi Tang