1.Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

作　　者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891917

文章详细全文下载
2.Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains

作　　者：Qiyi Tang ;Franck van Breugel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:27:1-27:16.doi:10.4230/LIPIcs.CONCUR.2017.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735193

文章详细全文下载
3.Comparing Labelled Markov Decision Processes

作　　者：Stefan Kiefer ;Qiyi Tang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.49

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：257805119

文章详细全文下载
4.Computing Probabilistic Bisimilarity Distances via Policy Iteration

作　　者：Qiyi Tang ;Franck van Breugel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:22:1-22:15.doi:10.4230/LIPIcs.CONCUR.2016.22

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847580

文章详细全文下载
5.Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata

作　　者：Qiyi Tang ;Franck van Breugel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213321

文章详细全文下载

	Radu Mardare	1篇
	Stefan Kiefer	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Qiyi Tang")))) )) ) )"

	Qiyi Tang	5篇
	Franck van Breugel	4篇
	Giorgio Bacci	1篇
	Giovanni Bacci	1篇
	Kim G. Larsen	1篇

	2020	1篇
	2019	1篇
	2018	1篇
	2017	1篇
	2016	1篇