Tomás Brázdil

2009
17	EE	Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218
16	EE	Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes CoRR abs/0904.2511: (2009)
2008
15	EE	Tomás Brázdil, Vojtech Forejt, Antonín Kucera: Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. ICALP (2) 2008: 148-159
14	EE	Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402
13	EE	Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242
12	EE	Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Inf. 45(2): 131-154 (2008)
11	EE	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in recursive Markov decision processes. Inf. Comput. 206(5): 520-537 (2008)
2007
10	EE	Tomás Brázdil, Vojtech Forejt: Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR 2007: 428-444
9	EE	Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
2006
8	EE	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in Recursive Markov Decision Processes. CONCUR 2006: 358-374
7	EE	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Stochastic Games with Branching-Time Winning Objectives. LICS 2006: 349-358
6		Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL. Computers and Artificial Intelligence 25(1): (2006)
2005
5	EE	Tomás Brázdil, Javier Esparza, Antonín Kucera: Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS 2005: 521-530
4	EE	Tomás Brázdil, Antonín Kucera: Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. FSTTCS 2005: 372-383
3	EE	Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. STACS 2005: 145-157
2004
2	EE	Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208
2002
1	EE	Tomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

1	Christel Baier	[9]
2	Václav Brozek	[7] [8] [11] [13] [16] [17]
3	Ivana Cerná (Ivana Cerna)	[1] [6]
4	Javier Esparza	[5]
5	Kousha Etessami	[16]
6	Vojtech Forejt	[7] [8] [10] [11] [14] [15]
7	Marcus Größer	[9]
8	Jan Holecek	[13]
9	Jan Kretínský	[14]
10	Antonín Kucera	[2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17]
11	Jan Obdrzálek	[17]
12	Oldrich Strazovský	[2] [3] [12]
13	Dominik Wojtczak	[16]