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 |