[Ali22]
Mehran Alidoost.
Runtime Probabilistic Analysis of Self-Adaptive Systems via Formal Approximation Techniques.
Ph.D. thesis, University of Tehran.
2022.
[Presents a framework for runtime probabilistic analysis of self-adaptive systems including PRISM as an underlying solver.
]
|
