Performability assessment by model checking of Markov reward models
Formal Methods in System Design
Verification of linear duration properties over continuous-time markov chains
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
| Hi-index | 0.00 |
The calculation of the distribution of a linear combination of order statistics from random variables that are uniformly distributed is considered. A simple recursion to compute this distribution is presented that, unlike previous methods, is numerically stable and efficient. As such, this should be the algorithm of choice when the linear combination distribution needs to be obtained.