Tomás Brázdil

	2012
46		Tomás Brázdil, Stefan Kiefer: Stabilization of Branching Queueing Networks. STACS 2012: 507-518
45		Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný: Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR abs/1202.0796: (2012)
44		Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks. Inf. Comput. 210: 87-110 (2012)
	2011
43		Tomás Brázdil, Stefan Kiefer, Antonín Kucera: Efficient Analysis of Probabilistic Programs with an Unbounded Counter. CAV 2011: 208-224
42		Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák: Fixed-Delay Events in Generalized Semi-Markov Processes Revisited. CONCUR 2011: 140-155
41		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring performance of continuous-time stochastic processes using timed automata. HSCC 2011: 33-42
40		Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková: Runtime Analysis of Probabilistic Programs with Unbounded Recursion. ICALP (2) 2011: 319-331
39		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera: Approximating the Termination Value of One-Counter MDPs and Stochastic Games. ICALP (2) 2011: 332-343
38		Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS 2011: 33-42
37		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata CoRR abs/1101.4204: (2011)
36		Tomás Brázdil, Stefan Kiefer, Antonín Kucera: Efficient Analysis of Probabilistic Programs with an Unbounded Counter CoRR abs/1102.2529: (2011)
35		Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes CoRR abs/1104.3489: (2011)
34		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera: Approximating the Termination Value of One-Counter MDPs and Stochastic Games CoRR abs/1104.4978: (2011)
33		Tomás Brázdil, Jan Krcál, Jan Kretínský, Vojtech Rehák: Fixed-delay Events in Generalized Semi-Markov Processes Revisited CoRR abs/1106.1424: (2011)
32		Tomás Brázdil, Stefan Kiefer: Stabilization of Branching Queueing Networks CoRR abs/1112.1041: (2011)
31		Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative reachability in stochastic BPA games. Inf. Comput. 209(8): 1160-1183 (2011)
	2010
30		Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák: Stochastic Real-Time Games with Qualitative Timed Automata Objectives. CONCUR 2010: 207-221
29		Tomás Brázdil, Václav Brozek, Kousha Etessami: One-Counter Stochastic Games. FSTTCS 2010: 108-119
28		Tomás Brázdil, Petr Jancar, Antonín Kucera: Reachability Games on Extended Vector Addition Systems with States. ICALP (2) 2010: 478-489
27		Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-Efficient Scheduling of Stochastically Generated Tasks. ICALP (2) 2010: 539-550
26		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes. SODA 2010: 863-874
25		Tomás Brázdil, Petr Jancar, Antonín Kucera: Reachability Games on Extended Vector Addition Systems with States CoRR abs/1002.2557: (2010)
24		Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games CoRR abs/1003.0118: (2010)
23		Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger: Space-efficient scheduling of stochastically generated tasks CoRR abs/1004.4286: (2010)
22		Tomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková: Runtime Analysis of Probabilistic Programs with Unbounded Recursion CoRR abs/1007.1710: (2010)
21		Tomás Brázdil, Václav Brozek, Kousha Etessami: One-Counter Stochastic Games CoRR abs/1009.5636: (2010)
	2009
20		Tomás Brázdil, Javier Esparza, Stefan Kiefer: On the Memory Consumption of Probabilistic Pushdown Automata. FSTTCS 2009: 49-60
19		Tomás Brázdil, Vojtech Forejt, Jan Krcál, Jan Kretínský, Antonín Kucera: Continuous-Time Stochastic Games with Time-Bounded Reachability. FSTTCS 2009: 61-72
18		Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218
17		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes CoRR abs/0904.2511: (2009)
16		Tomás Brázdil, Václav Brozek, Vojtech Forejt: Branching-Time Model-Checking of Probabilistic Pushdown Automata. Electr. Notes Theor. Comput. Sci. 239: 73-83 (2009)
	2008
15		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		Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402
13		Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242
12		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		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		Tomás Brázdil, Vojtech Forejt: Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR 2007: 428-444
9		Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
	2006
8		Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in Recursive Markov Decision Processes. CONCUR 2006: 358-374
7		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): 81-97 (2006)
	2005
5		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		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		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		Tomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208
	2002
1		Tomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): 575-588 (2002)

Coauthor Index

1	Christel Baier	[9]
2	Václav Brozek	[7] [8] [11] [13] [16] [17] [18] [21] [24] [26] [29] [31] [34] [35] [38] [39]
3	Ivana Cerná (Ivana Cerna)	[1] [6]
4	Krishnendu Chatterjee	[35] [38] [45]
5	Javier Esparza	[5] [20] [23] [27] [44]
6	Kousha Etessami	[17] [21] [26] [29] [34] [39]
7	Vojtech Forejt	[7] [8] [10] [11] [14] [15] [16] [19] [35] [38]
8	Marcus Größer	[9]
9	Jan Holecek	[13]
10	Petr Jancar	[25] [28]
11	Stefan Kiefer	[20] [22] [23] [27] [32] [36] [40] [43] [44] [46]
12	Jan Krcál	[19] [30] [33] [37] [41] [42]
13	Jan Kretínský	[14] [19] [30] [33] [37] [41] [42]
14	Antonín Kucera	[2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [14] [15] [17] [18] [19] [22] [24] [25] [26] [28] [30] [31] [34] [35] [36] [37] [38] [39] [40] [41] [43] [45]
15	Michael Luttenberger	[23] [27] [44]
16	Petr Novotný	[45]
17	Jan Obdrzálek	[18] [24] [31]
18	Vojtech Rehák	[30] [33] [37] [41] [42]
19	Oldrich Strazovský	[2] [3] [12]
20	Ivana Hutarová Vareková	[22] [40]
21	Dominik Wojtczak	[17] [26]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page