@misc{indiciaedbee6924d600, title = {Moment-based Density Elicitation with Applications in Probabilistic Loops}, author = {Andrey Kofnov and Ezio Bartocci and Efstathia Bura}, year = {2025}, doi = {10.1145/3728648}, url = {https://arxiv.org/abs/2304.09094}, note = {Source identifier: 2304.09094} }