|
[SCG23]
Ioannis Stefanakos, Radu Calinescu and Simos Gerasimou.
Probabilistic program performance analysis with confidence intervals.
Information and Software Technology.
2023.
[Presents an approach for performance analysis of probabilistic programs using PRISM as a modelling formalism and underlying tool.]
|
|
Links:
[Google]
[Google Scholar]
|