www.prismmodelchecker.org
[MMAG12] Indika Meedeniya, Irene Moser, Aldeida Aleti and Lars Grunske. Evaluating Probabilistic Models with Uncertain Model Parameters. Software and Systems Modelling, Springer. 2012. [Proposes techniques to evaluate probabilistic models with uncertainty, using PRISM as a back-end solution engine.]
Notes: The original publication is available at www.springerlink.com.

Publications