29 citations · 37 across the 8 of their papers we have counts for
1 paper · 1 filter
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…