7 citations · 15 across the 11 of their papers we have counts for
Showing stat.APShow all
2 papers · 1 filter
stat.AP2023★ 6 cited
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič +2
Many stochastic continuous-state dynamical systems can be modeled as probabilistic programs with nonlinear non-polynomial updates in non-nested loops. We present two methods, one a…
stat.AP2022★ 7 cited
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovič +2
We present a method to automatically approximate moment-based invariants of probabilistic programs with non-polynomial updates of continuous state variables to accommodate more com…