Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Re-assign community