Quantitative Analysis under Fairness Constraints | 12 | 0.61 | 2009 |
Reduction Techniques for Model Checking Markov Decision Processes | 21 | 0.88 | 2008 |
Generating Compact MTBDD-Representations from ProbmelaSpecifications | 2 | 0.39 | 2008 |
On reduction criteria for probabilistic reward models | 2 | 0.37 | 2006 |
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems | 55 | 2.17 | 2006 |
ProbMela and verification of Markov decision processes | 8 | 0.55 | 2005 |
Quantitative analysis of distributed randomized protocols | 2 | 0.36 | 2005 |
Controller Synthesis for Probabilistic Systems | 24 | 1.15 | 2004 |
Partial Order Reduction for Probabilistic Systems | 40 | 1.62 | 2004 |
PROBMELA: a modeling language for communicating probabilistic processes | 133 | 6.42 | 2004 |