1.Continuous-Time Stochastic Games with Time-Bounded Reachability

作　　者：Tomas Brazdil ;Vojtech Forejt ;Jan Krcal 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:61-72.doi:10.4230/LIPIcs.FSTTCS.2009.2307

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

文章 ID：186845590

文章详细全文下载
2.Verification of Open Interactive Markov Chains

作　　者：Tomas Brazdil ;Holger Hermanns ;Jan Krcal 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:474-485.doi:10.4230/LIPIcs.FSTTCS.2012.474

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

文章 ID：186846225

文章详细全文下载
3.Polynomial Time Decidability of Weighted Synchronization under Partial Observability

作　　者：Jan Kretinsky ;Kim Guldstrand Larsen ;Simon Laursen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:142-154.doi:10.4230/LIPIcs.CONCUR.2015.142

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

文章 ID：186847006

文章详细全文下载
4.Process Algebra for Modal Transition Systemses

作　　者：Nikola Benes ;Jan Kretinsky

出　　处：OASIcs : OpenAccess Series in Informatics. 2011 ;16:9-18.doi:10.4230/OASIcs.MEMICS.2010.9

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

文章 ID：186848417

文章详细全文下载
5.Linear Distances between Markov Chains

作　　者：Przemyslaw Daca ;Thomas A. Henzinger ;Jan Kretinsky 等

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

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

文章 ID：186847578

文章详细全文下载

	Jan Kretinsky	5篇
	Jan Krcal	2篇
	Tomas Brazdil	2篇
	Antonin Kucera	1篇
	Holger Hermanns	1篇

	Jiri Srba	1篇
	Kim Guldstrand Larsen	1篇
	Nikola Benes	1篇
	Przemyslaw Daca	1篇
	Simon Laursen	1篇
	Tatjana Petrov	1篇
	Thomas A. Henzinger	1篇
	Vojtech Forejt	1篇
	Vojtech Rehak	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jan Kretinsky")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2016	1篇
	2015	1篇
	2012	1篇
	2011	1篇
	2009	1篇