1.On the Complexity of Reachability in Parametric Markov Decision Processes

作　　者：Tobias Winkler ;Sebastian Junges ;Guillermo A. Prez 等

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

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

文章 ID：238891922

文章详细全文下载
2.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Peter Rossmanith ;Pinar Heggernes ;Joost-Pieter Katoen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-16.doi:10.4230/LIPIcs.MFCS.2019.0

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

文章 ID：238891950

文章详细全文下载
3.Analysis of Timed and Long-Run Objectives for Markov Automata

作　　者：Dennis Guck ;Hassan Hatefi ;Holger Hermanns 等

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

出版社：Technical University of Braunschweig

文章 ID：264692132

文章详细全文下载
4.High-level Counterexamples for Probabilistic Automata

作　　者：Ralf Wimmer ;Nils Jansen ;Erika Ábrahám 等

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

出版社：Technical University of Braunschweig

文章 ID：264692258

文章详细全文下载
5.Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

作　　者：Hongfei Fu ;Joost-Pieter Katoen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:445-456.doi:10.4230/LIPIcs.FSTTCS.2011.445

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

文章 ID：186845899

文章详细全文下载

	Holger Hermanns	1篇
	Hongfei Fu	1篇
	Mark Timmer	1篇
	Nils Jansen	1篇
	Peter Rossmanith	1篇
	Pinar Heggernes	1篇
	Ralf Wimmer	1篇
	Sebastian Junges	1篇
	Tobias Winkler	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Joost-Pieter Katoen")))) )) ) )"

	Joost-Pieter Katoen	5篇
	Dennis Guck	1篇
	Erika Ábrahám	1篇
	Guillermo A. Prez	1篇
	Hassan Hatefi	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Logical Methods in Computer Science	2篇

	2019	2篇
	2015	1篇
	2014	1篇
	2011	1篇