@Article{junges_et_al:DagRep.13.6.1,
author = {Junges, Sebastian and Katoen, Joost-Pieter and Sanner, Scott and Van den Broeck, Guy and Salmani, Bahare},
title = {{Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)}},
pages = {1--21},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {6},
editor = {Junges, Sebastian and Katoen, Joost-Pieter and Sanner, Scott and Van den Broeck, Guy and Salmani, Bahare},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.1},
URN = {urn:nbn:de:0030-drops-196362},
doi = {10.4230/DagRep.13.6.1},
annote = {Keywords: model counting, probabilistic inference, probabilistic model checking, probabilistic planning, probabilistic programs}
}