Evaluation of reward analysis methods with MRMSolve 2.0

The paper presents the 2.0 release of MRMSolve, a Markov reward model (MRM) analysis tool. This new release integrates recent research results, such as MRMs with partial reward loss, second order MRMs and their combination, with old and widely known reward analysis methods, such as the ones by DeSouza-Gail, Nabli-Sericola and Donatiello-Grassi. The paper compares the mentioned direct distribution analysis methods with each other and with the moments based reward estimation methods.