activity
20232026
most citedStatic Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Polynomial Invariants for Probabilistic Transition Systems with Unbounded Support

Anne Schreuder, Lorenz Winkler, Laura Kovács +1

We study the synthesis of polynomial invariants for probabilistic transition systems (PTS) based on martingale theory. We present tractable methods to verify that such polynomials…