Automated Sensitivity Analysis for Probabilistic Loops. - Marcel Moosbrugger; Julian Müllner; Laura Kovács (iFM, 2023)

Polar: An Algebraic Analyzer for (Probabilistic) Loops. - Marcel Moosbrugger; Julian Müllner; Ezio Bartocci; Laura Kovács (Principles of Verification (1), 2024)

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs. - Julian Müllner; Marcel Moosbrugger; Laura Kovács (Proc. ACM Program. Lang., 2024)