Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (ATVA, 2019)

Analysis of Bayesian Networks via Prob-Solvable Loops. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (ICTAC, 2020)

Mora - Automatic Generation of Moment-Based Invariants. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (TACAS (1), 2020)

Distribution Estimation for Probabilistic Loops. - Ahmad Karimi; Marcel Moosbrugger; Miroslav Stankovic; Laura Kovács; Ezio Bartocci; Efstathia Bura (QEST, 2022)

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. - Andrey Kofnov; Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Efstathia Bura (QEST, 2022)

Solving Invariant Generation for Unsolvable Loops. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (SAS, 2022)

This is the moment for probabilistic loops. - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Proc. ACM Program. Lang., 2022)

Moment-based analysis of Bayesian network properties. - Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Theor. Comput. Sci., 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

Probabilistic Loop Synthesis from Sequences of Moments. - Miroslav Stankovic; Ezio Bartocci (QEST+FORMATS, 2024)

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. - Andrey Kofnov; Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Efstathia Bura (ACM Trans. Model. Comput. Simul., 2024)

(Un)Solvable loop analysis. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (Formal Methods Syst. Des., 2025)