Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)

Authors Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, Bahare Salmani and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.13.6.1.pdf
  • Filesize: 1.86 MB
  • 21 pages

Document Identifiers

Author Details

Sebastian Junges
  • Radboud University Nijmegen, NL
Joost-Pieter Katoen
  • RWTH Aachen, DE
Scott Sanner
  • University of Toronto, CA
Guy Van den Broeck
  • UCLA, US
Bahare Salmani
  • RWTH Aachen, DE
and all authors of the abstracts in this report

Cite AsGet BibTex

Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, and Bahare Salmani. Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). In Dagstuhl Reports, Volume 13, Issue 6, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.13.6.1

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.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Planning under uncertainty
  • Computing methodologies → Probabilistic reasoning
  • Theory of computation → Automated reasoning
Keywords
  • model counting
  • probabilistic inference
  • probabilistic model checking
  • probabilistic planning
  • probabilistic programs

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads