standard deviation

[Jorge Fernandez]

Hello Friends, I am trying to run a Markov chain model, but I need to report the standard deviation, where can I see this value?

Thank you

Jorge

[Gethin Norman]

Jorge,

See the following case study

http://www.prismmodelchecker.org/casestudies/mapk_cascade.php

for computing the standard deviation of instantaneous expected properties.

I am not aware of any methods that would work for cumulative expected reachability.

thanks

Gethin

> --
> You received this message because you are subscribed to the Google Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchec...@googlegroups.com.
> To post to this group, send email to prismmod...@googlegroups.com.
> Visit this group at https://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/d/optout.