Qiyi Tang

From MaRDI portal
Person:2306847

Available identifiers

zbMath Open tang.qiyiMaRDI QIDQ2306847

List of research outcomes





PublicationDate of PublicationType
Strategies for MDP bisimilarity equivalence and inequivalence2024-08-13Paper
Semantic flowers for good-for-games and deterministic automata2024-03-13Paper
Bridging formal methods and machine learning with model checking and global optimisation2024-02-12Paper
https://portal.mardi4nfdi.de/entity/Q61870682024-02-05Paper
Deciding probabilistic bisimilarity distance one for labelled Markov chains2023-05-26Paper
https://portal.mardi4nfdi.de/entity/Q58753702023-02-03Paper
Deciding probabilistic bisimilarity distance one for probabilistic automata2021-08-04Paper
Computing probabilistic bisimilarity distances for probabilistic automata2021-03-26Paper
Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains2020-05-27Paper
Deciding probabilistic bisimilarity distance one for probabilistic automata2020-03-26Paper
Computing probabilistic bisimilarity distances via policy iteration2018-03-21Paper

Research outcomes over time

This page was built for person: Qiyi Tang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2306847&oldid=7265676"
Powered by MediaWiki