Dear colleague,
In the past you have shown interest in MRMC or its predecessor ETMCC. We like to inform you that a ** new release ** of the Markov Reward Model Checker, MRMC v1.5, is now available for a free download at:
http://www.mrmc-tool.org/
Apart from many detailed enhancements and bug fixes, the following features have been added:
* a new algorithm to compute time-bounded reachability probabilities
for non-uniform CTMDPIs. This feature is based on "Continuous-Time
Stochastic Games with Time-Bounded Reachability" by Brazdil et al.
* Bug fixes for time-bounded reachability algorithm for uniform CTMDPIs
* Improved partition refinement algorithm for lumping. The new algorithm
uses a variant of quicksort instead of splay trees for efficient
splitting.
Please see the RELEASENOTES file of the MRMC distribution for a detailed list of enhancements and fixes.
In case you have any questions about MRMC v1.5, we encourage you to
contact us vie the MRMC-Users mailing list:
https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users
Sincerely,
The MRMC Development Team
PS: In order to unsubscribe from the MRMC-Announce mailing list, visit:
https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-announce
