Miroslav Stankovic

Mora - Automatic Generation of Moment-Based Invariants

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2020, TACAS.

Analysis of Bayesian Networks via Prob-Solvable Loops pdf

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2020, ICTAC.

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops pdf

Ezio Bartocci, Laura Kovács, Miroslav Stankovic, 2019, ATVA.