TY - RPRT TI - Moment-based Density Elicitation with Applications in Probabilistic Loops AU - Andrey Kofnov AU - Ezio Bartocci AU - Efstathia Bura PY - 2025 DO - 10.1145/3728648 UR - https://arxiv.org/abs/2304.09094 ID - 2304.09094 ER -