Concepedia

Marcus Größer

MG

6

Publications

212

Citations

6

H-Index

2004

Active since

Affiliations

Technische Universität Dresden(Current)

University of Bonn

Marcus Größer is an author at Technische Universität Dresden specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningProbabilityVerificationFormal MethodsFormal VerificationSystems EngineeringQuantitative AnalysisMarkov Decision Processes

Publications per year

2004–2012

6

Publications

6

Controller synthesis for probabilistic systems

Christel Baier, Marcus Größer, Martin Leucker et al. · 2004 · 72 citations

Partial order reduction for probabilistic systems

Christel Baier, Marcus Größer, Frank Ciesinski · Quantitative Evaluation of Systems · 2004 · 60 citations

Mathematical Programming, Engineering, Verification +17

Reduction Techniques for Model Checking Markov Decision Processes

Frank Ciesinski, Christel Baier, Marcus Größer et al. · 2008 · 42 citations

Engineering, Reachability Problem, Verification +17

ProbMela and verification of Markov decision processes

Christel Baier, Frank Ciesinski, Marcus Größer · ACM SIGMETRICS Performance Evaluation Review · 2005 · 16 citations

Engineering, Formal Modeling, Automated Reasoning +15

Stochastic game logic

Christel Baier, Tomǎš Brázdil, Marcus Größer et al. · Acta Informatica · 2012 · 12 citations

Engineering, Stochastic Game Logic, Stochastic Game +8

Rows per page

1–5 of 6