TY  - RPRT
TI  - Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
AU  - Andrey Kofnov
AU  - Marcel Moosbrugger
AU  - Miroslav Stankovič
AU  - Ezio Bartocci
AU  - Efstathia Bura
PY  - 2024
DO  - 10.1145/3641545
UR  - https://arxiv.org/abs/2306.07072
ID  - 2306.07072
ER  -