Automated Sensitivity Analysis for Probabilistic Loops

Marcel Moosbrugger, Julian Müllner, Laura Kovács

We present an exact approach to analyze and quantify the sensitivity of higher moments of probabilistic loops with symbolic parameters, polynomial arithmetic and potentially uncountable state spaces. Link to publication.