Václav Brozek

	2011
18		Václav Brozek: Optimal Strategies in Infinite-state Stochastic Reachability Games GandALF 2011: 60-73
17		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
16		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
15		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)
14		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)
13		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
12		Tomás Brázdil, Václav Brozek, Kousha Etessami: One-Counter Stochastic Games. FSTTCS 2010: 108-119
11		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes. SODA 2010: 863-874
10		Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games CoRR abs/1003.0118: (2010)
9		Tomás Brázdil, Václav Brozek, Kousha Etessami: One-Counter Stochastic Games CoRR abs/1009.5636: (2010)
	2009
8		Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218
7		Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes CoRR abs/0904.2511: (2009)
6		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)
5		Václav Brozek: Regularity in PDA Games Revisited. Electr. Notes Theor. Comput. Sci. 251: 5-16 (2009)
	2008
4		Tomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242
3		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)
	2006
2		Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in Recursive Markov Decision Processes. CONCUR 2006: 358-374
1		Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Stochastic Games with Branching-Time Winning Objectives. LICS 2006: 349-358

Coauthor Index

1	Tomás Brázdil	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
2	Krishnendu Chatterjee	[15] [16]
3	Kousha Etessami	[7] [9] [11] [12] [14] [17]
4	Vojtech Forejt	[1] [2] [3] [6] [15] [16]
5	Jan Holecek	[4]
6	Antonín Kucera	[1] [2] [3] [4] [7] [8] [10] [11] [13] [14] [15] [16] [17]
7	Jan Obdrzálek	[8] [10] [13]
8	Dominik Wojtczak	[7] [11]

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