We consider continuous stochastic logics with state rewards that are interpreted over continuous time Markov chains. We show how results from multivariate phase type distributions can be used to obtain higher-order moments for multivariate state rewards (including covariance). We also generalise the treatment of eventuality to unbounded path formulae. For all extensions we show how to obtain closed form definitions that are straightforward to implement and we illustrate our development on a small example.
|Title of host publication||Seventh International Conference on the Quantitative Evaluation of Systems|
|Publication status||E-pub ahead of print - 2010|
|Event||Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, VA, USA September 15-September 18 - |
Duration: 1 Jan 2010 → …
|Conference||Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, VA, USA September 15-September 18|
|Period||01/01/2010 → …|