research
∙
06/12/2023
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Many stochastic continuous-state dynamical systems can be modeled as pro...
share
research
∙
06/02/2023
(Un)Solvable Loop Analysis
Automatically generating invariants, key to computer-aided analysis of p...
research
∙
06/14/2022
Solving Invariant Generation for Unsolvable Loops
Automatically generating invariants, key to computer-aided analysis of p...
research
∙
05/13/2022
Distribution Estimation for Probabilistic Loops
We present an algorithmic approach to estimate the value distributions o...
research
∙
05/05/2022
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
We present a method to automatically approximate moment-based invariants...
research
∙
04/14/2022
This is the Moment for Probabilistic Loops
We present a novel static analysis technique to derive higher moments fo...
research
∙
03/05/2021
MORA – Automatic Generation of Moment-Based Invariants
We introduce MORA, an automated tool for generating invariants of probab...
research
∙
07/18/2020
Analysis of Bayesian Networks via Prob-Solvable Loops
Prob-solvable loops are probabilistic programs with polynomial assignmen...
research
∙
05/07/2019