GPAnalyser 0.9.2 screenshot



GPA efficiently implements these techniques and extensions allowing calculation of accumulated rewards and computation of passage time probabilities.