TY  - RPRT
TI  - Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
AU  - Andrey Kofnov
AU  - Marcel Moosbrugger
AU  - Miroslav Stankovič
AU  - Ezio Bartocci
AU  - Efstathia Bura
PY  - 2022
DO  - 10.1007/978-3-031-16336-4_1
UR  - https://arxiv.org/abs/2205.02577
ID  - 2205.02577
ER  -