Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács: This is the Moment for Probabilistic Loops - Artifact (Polar). Zenodo 2022