Author Info
Name
Affiliation
Papers
MARCUS GRÖΒER
Tech Univ Dresden, Inst Theoret Comp Sci, Dresden, Germany
1
Collaborators
Citations 
PageRank 
3
21
0.88
Referers 
Referees 
References 
56
33
21
Title
Citations
PageRank
Year
Reduction Techniques for Model Checking Markov Decision Processes210.882008