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

Density Elicitation with applications in Probabilistic Loops. - Andrey Kofnov; Ezio Bartocci; Efstathia Bura (CoRR, 2023)

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)

Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. - Andrey Kofnov; Daniel Kapla; Ezio Bartocci; Efstathia Bura (CoRR, 2025)