1. Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
- Author
-
Sebastian Junges and Joost-Pieter Katoen and Scott Sanner and Guy Van den Broeck and Bahare Salmani, Junges, Sebastian, Katoen, Joost-Pieter, Sanner, Scott, Van den Broeck, Guy, Salmani, Bahare, Sebastian Junges and Joost-Pieter Katoen and Scott Sanner and Guy Van den Broeck and Bahare Salmani, Junges, Sebastian, Katoen, Joost-Pieter, Sanner, Scott, Van den Broeck, Guy, and Salmani, Bahare
- Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23241 "Scalable Analysis of Probabilistic Models and Programs". The seminar brought together researchers from probabilistic graphical models, verification of probabilistic programming languages, and probabilistic planning. The communities bring vastly different perspectives on the methods and goals of inference under uncertainty. In this seminar, we worked towards a common understanding of how the different angles yield subtle differences in the problem statements and how the different methods provide different strengths and weaknesses. The report describes the different areas, the activities during the seminar including hot topics that were vividly discussed, and an overview of the technical talks.
- Published
- 2024
- Full Text
- View/download PDF