Efficient Probabilistic Parameter Synthesis for Adaptive Systems
Probabilistic modelling has proved useful to analyse performance, reliability and energy usage of distributed or networked systems. We consider parametric probabilistic models, in which probabilities are specified as expressions over a set of parameters, rather than concrete values. We address the p...
| Main Authors: | , , , |
|---|---|
| Format: | Report |
| Published: |
DCS
2013
|