Marcus Größer

2009
16	EE	Christel Baier, Nathalie Bertrand, Marcus Größer: Probabilistic Acceptors for Languages over Infinite Words. SOFSEM 2009: 19-33
2008
15	EE	Christel Baier, Nathalie Bertrand, Marcus Größer: On Decision Problems for Probabilistic Büchi Automata. FoSSaCS 2008: 287-301
14	EE	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	EE	Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54
12	EE	Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
2007
11	EE	Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
10	EE	Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
2006
9	EE	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	EE	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	EE	Marcus Größer, Christel Baier: Partial Order Reduction for Markov Decision Processes: A Survey. FMCO 2005: 408-427
6	EE	Christel Baier, Marcus Größer: Recognizing omega-regular Languages with Probabilistic Automata. LICS 2005: 137-146
5	EE	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	EE	Christel Baier, Frank Ciesinski, Marcus Größer: PROBMELA: a modeling language for communicating probabilistic processes. MEMOCODE 2004: 57-66
2	EE	Christel Baier, Marcus Größer, Frank Ciesinski: Partial Order Reduction for Probabilistic Systems. QEST 2004: 230-239
1	EE	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]
2	Nathalie Bertrand	[11] [14] [15] [16]
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]
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]