Login / Signup
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.
Andrey Kofnov
Marcel Moosbrugger
Miroslav Stankovic
Ezio Bartocci
Efstathia Bura
Published in:
QEST (2022)
Keyphrases
</>
moment invariants
orthogonal polynomials
uncertain data
probabilistic model
data driven
context sensitive
probabilistic logic
probabilistic approaches
database
genetic algorithm
bayesian networks
generative model
probabilistic reasoning
zernike moments
free form