1.Model Checking Omega-regular Properties for Quantum Markov Chains

作　　者：Yuan Feng ;Ernst Moritz Hahn ;Andrea Turrini 等

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

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

文章 ID：200735201

文章详细全文下载
2.Cost Preserving Bisimulations for Probabilistic Automata

作　　者：Andrea Turrini ;Holger Hermanns

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:11)2014

出版社：Technical University of Braunschweig

文章 ID：264692162

文章详细全文下载
3.Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time

作　　者：Holger Hermanns ;Andrea Turrini

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:435-447.doi:10.4230/LIPIcs.FSTTCS.2012.435

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

文章 ID：186846222

文章详细全文下载
4.Lazy Probabilistic Model Checking without Determinisation

作　　者：Ernst Moritz Hahn ;Guangyuan Li ;Sven Schewe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:354-367.doi:10.4230/LIPIcs.CONCUR.2015.354

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

文章 ID：186847021

文章详细全文下载
5.On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation

作　　者：Vahid Hashemi ;Holger Hermanss ;Andrea Turrini

出　　处：Electronic Communications of the EASST. 2014 ;66.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：185434295

文章详细全文下载

	Lijun Zhang	1篇
	Shenggang Ying	1篇
	Sven Schewe	1篇
	Vahid Hashemi	1篇
	Yuan Feng	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Andrea Turrini")))) )) ) )"

	Andrea Turrini	5篇
	Ernst Moritz Hahn	2篇
	Holger Hermanns	2篇
	Guangyuan Li	1篇
	Holger Hermanss	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Communications of the EASST	1篇
	Logical Methods in Computer Science	1篇

	2017	1篇
	2015	1篇
	2014	2篇
	2012	1篇