Marcus Größer

	2009
19		Christel Baier, Marcus Größer, Frank Ciesinski: Quantitative Analysis under Fairness Constraints. ATVA 2009: 135-150
18		Christel Baier, Nathalie Bertrand, Marcus Größer: The Effect of Tossing Coins in Omega-Automata. CONCUR 2009: 15-29
17		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
16		Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability CoRR abs/0907.4760: (2009)
	2008
15		Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
14		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
13		Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
12		Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
	2007
11		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
10		Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
	2006
9		Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
8		Christel Baier, Pedro R. D'Argenio, Marcus Größer: Partial Order Reduction for Probabilistic Branching Time. Electr. Notes Theor. Comput. Sci. 153(2): 97-116 (2006)
	2005
7		Marcus Größer, Christel Baier: Partial Order Reduction for Markov Decision Processes: A Survey. FMCO 2005: 408-427
6		Christel Baier, Marcus Größer: Recognizing omega-regular Languages with Probabilistic Automata. LICS 2005: 137-146
5		Christel Baier, Frank Ciesinski, Marcus Größer: ProbMela and verification of Markov decision processes. SIGMETRICS Performance Evaluation Review 32(4): 22-27 (2005)
	2004
4		Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski: Controller Synthesis for Probabilistic Systems. IFIP TCS 2004: 493-506
3		Christel Baier, Frank Ciesinski, Marcus Größer: PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE 2004: 57-66
2		Christel Baier, Marcus Größer, Frank Ciesinski: Partial Order Reduction for Probabilistic Systems. QEST 2004: 230-239
1		Frank Ciesinski, Marcus Größer: On Probabilistic Computation Tree Logic. Validation of Stochastic Systems 2004: 147-188

Coauthor Index

1	Christel Baier	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
2	Nathalie Bertrand	[11] [14] [15] [16] [17] [18]
3	Benedikt Bollig	[4]
4	Patricia Bouyer	[11] [14]
5	Tomás Brázdil	[10]
6	Thomas Brihaye	[11] [14]
7	Frank Ciesinski	[1] [2] [3] [4] [5] [9] [12] [13] [19]
8	Pedro R. D'Argenio	[8]
9	Joachim Klein	[13]
10	Antonín Kucera	[10]
11	Marta Z. Kwiatkowska	[9]
12	Martin Leucker	[4]
13	Gethin Norman	[9]
14	David Parker	[9] [12]