1.Qualitative Reachability in Stochastic BPA Games

作　　者：Tomas Brazdil ;Vaclav Brozek ;Antonin Kucera 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:207-218.doi:10.4230/LIPIcs.STACS.2009.1837

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

文章 ID：186845542

文章详细全文下载
2.On the Memory Consumption of Probabilistic Pushdown Automata

作　　者：Tomas Brazdil ;Javier Esparza ;Stefan Kiefer

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:49-60.doi:10.4230/LIPIcs.FSTTCS.2009.2306

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

文章 ID：186845589

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

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

文章详细全文下载
5.Stability in Graphs and Games

作　　者：Tomas Brazdil ;Vojtech Forejt ;Antonin Kucera 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:10:1-10:14.doi:10.4230/LIPIcs.CONCUR.2016.10

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

文章 ID：186847569

文章详细全文下载

	Tomas Brazdil	5篇
	Antonin Kucera	3篇
	Jan Krcal	2篇
	Jan Kretinsky	2篇
	Vojtech Forejt	2篇

	Holger Hermanns	1篇
	Jan Obdrzalek	1篇
	Javier Esparza	1篇
	Petr Novotny	1篇
	Stefan Kiefer	1篇
	Vaclav Brozek	1篇
	Vojtech Rehak	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Tomas Brazdil")))) )) ) )"

	2016	1篇
	2012	1篇
	2009	3篇