1.Measuring Progress of Probabilistic LTL Model Checking

作　　者：Elise Cormie-Bowins ;Franck van Breugel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;85:33-47.doi:10.4204/EPTCS.85.3

出版社：Open Publishing Association

文章 ID：83120501

文章详细全文下载
2.From Branching to Linear Metric Domains (and back)

作　　者：Franck van Breugel

出　　处：BRICS Report Series. 1995 ;2(30).

出版社：Aarhus University

文章 ID：101759881

文章详细全文下载
3.Approximating a Behavioural Pseudometric without Discount forProbabilistic Systems

作　　者：Franck van Breugel ;Babita Sharma ;James Worrell

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:2)2008

出版社：Technical University of Braunschweig

文章 ID：46838693

文章详细全文下载
4.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

文章详细全文下载
5.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

文章详细全文下载
6.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

文章详细全文下载
7.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

文章详细全文下载

	Giovanni Bacci	1篇
	James Worrell	1篇
	Kim G. Larsen	1篇
	Radu Mardare	1篇

	德国	5篇
	丹麦	1篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Franck van Breugel")))) )) ) )"

	Franck van Breugel	7篇
	Qiyi Tang	4篇
	Babita Sharma	1篇
	Elise Cormie-Bowins	1篇
	Giorgio Bacci	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	BRICS Report Series	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2019	1篇
	2018	1篇
	2017	1篇
	2016	1篇
	2012	1篇

	2008	1篇
	1995	1篇