Vojtech Forejt

	2012
15		Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
	2011
14		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
13		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
12		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
11		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)
	2010
10		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi: Expected Reachability-Time Games. FORMATS 2010: 122-136
	2009
9		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
8		Patricia Bouyer, Vojtech Forejt: Reachability in Stochastic Timed Games. ICALP (2) 2009: 103-114
7		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
6		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
5		Tomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402
4		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
3		Tomás Brázdil, Vojtech Forejt: Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR 2007: 428-444
	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	Patricia Bouyer (Patricia Bouyer-Decitre)	[8]
2	Tomás Brázdil	[1] [2] [3] [4] [5] [6] [7] [9] [11] [14]
3	Václav Brozek	[1] [2] [4] [7] [11] [14]
4	Krishnendu Chatterjee	[11] [14]
5	Taolue Chen	[15]
6	Jan Krcál	[9]
7	Jan Kretínský	[5] [9]
8	Antonín Kucera	[1] [2] [4] [5] [6] [9] [11] [14]
9	Marta Z. Kwiatkowska	[10] [12] [13] [15]
10	Gethin Norman	[10] [12] [13]
11	David Parker	[12] [13] [15]
12	Hongyang Qu	[12]
13	Aistis Simaitis	[15]
14	Ashutosh Trivedi	[10]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page