Controller Synthesis for Probabilistic Systems. - Christel Baier; Marcus Größer; Martin Leucker; Benedikt Bollig; Frank Ciesinski (IFIP TCS, 2004)

PROBMELA: a modeling language for communicating probabilistic processes. - Christel Baier; Frank Ciesinski; Marcus Größer (MEMOCODE, 2004)

Partial Order Reduction for Probabilistic Systems. - Christel Baier; Marcus Größer; Frank Ciesinski (QEST, 2004)

On Probabilistic Computation Tree Logic. - Frank Ciesinski; Marcus Größer (Validation of Stochastic Systems, 2004)

Partial Order Reduction for Markov Decision Processes: A Survey. - Marcus Größer; Christel Baier (FMCO, 2005)

Quantitative analysis of distributed randomized protocols. - Christel Baier; Frank Ciesinski; Marcus Größer (FMICS, 2005)

Recognizing omega-regular Languages with Probabilistic Automata. - Christel Baier; Marcus Größer (LICS, 2005)

Partial Order Reduction for Probabilistic Branching Time. - Christel Baier; Pedro R. D'Argenio; Marcus Größer (QAPL, 2005)

ProbMela and verification of Markov decision processes. - Christel Baier; Frank Ciesinski; Marcus Größer (SIGMETRICS Perform. Evaluation Rev., 2005)

On Reduction Criteria for Probabilistic Reward Models. - Marcus Größer; Gethin Norman; Christel Baier; Frank Ciesinski; Marta Z. Kwiatkowska; David Parker 001 (FSTTCS, 2006)

Probabilistic and Topological Semantics for Timed Automata. - Christel Baier; Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Marcus Größer (FSTTCS, 2007)

On Decision Problems for Probabilistic Büchi Automata. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (FoSSaCS, 2008)

Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. - Christel Baier; Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Marcus Größer (LICS, 2008)

Reduction Techniques for Model Checking Markov Decision Processes. - Frank Ciesinski; Christel Baier; Marcus Größer; Joachim Klein 001 (QEST, 2008)

Generating Compact MTBDD-Representations from ProbmelaSpecifications. - Frank Ciesinski; Christel Baier; Marcus Größer; David Parker 001 (SPIN, 2008)

Reduction methods for probabilistic model checking. - Marcus Größer (2008)

Quantitative Analysis under Fairness Constraints. - Christel Baier; Marcus Größer; Frank Ciesinski (ATVA, 2009)

The Effect of Tossing Coins in Omega-Automata. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (CONCUR, 2009)

Recurrence and Transience for Probabilistic Automata. - Mathieu Tracol; Christel Baier; Marcus Größer (FSTTCS, 2009)

Probabilistic Acceptors for Languages over Infinite Words. - Christel Baier; Nathalie Bertrand 001; Marcus Größer (SOFSEM, 2009)

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability - Christel Baier; Nathalie Bertrand 001; Marcus Größer (DCFS, 2009)

Stochastic game logic. - Christel Baier; Tomás Brázdil; Marcus Größer; Antonín Kucera 001 (Acta Informatica, 2012)

Probabilistic ω-automata. - Christel Baier; Marcus Größer; Nathalie Bertrand 001 (J. ACM, 2012)

Stochastic Timed Automata. - Nathalie Bertrand 001; Patricia Bouyer; Thomas Brihaye; Quentin Menet; Christel Baier; Marcus Größer; Marcin Jurdzinski (Log. Methods Comput. Sci., 2014)