guest ::
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
; ; ; ;
2023 & 2024
Submitted on 14 Jul 2023 (v1), last revised 5 Mar 2024 (this version, v4)
Online
DOI: 10.48550/ARXIV.2307.07314
URL: http://publications.rwth-aachen.de/record/981709/files/981709.pdf
Einrichtungen
- Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
- Fachgruppe Informatik (120000)
- Profilbereich Information & Communication Technology (ICT) (080017)
Projekte
- FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)
- GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
Inhaltliche Beschreibung (Schlagwörter)
Bayesian inference (frei) ; Probabilistic inference problems (frei) ; Program reasoning (frei) ; Program semantics (frei) ; conditioning (frei) ; denotational semantics (frei) ; generating functions (frei) ; non-termination (frei) ; probabilistic programs (frei) ; quantitative verification (frei)
Thematische Einordnung (Klassifikation)
DDC: 004
Restricted: 
PDF
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2307.07314
Interne Identnummern
RWTH-2024-03173
Datensatz-ID: 981709
Beteiligte Länder
Germany, Peoples R China
Related:
Journal Article/Contribution to a conference proceedings
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
ACM Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2024, PasadenaPasadena, USA, 20 Oct 2024 - 25 Oct 2024
Proceedings of the ACM on programming languages : (PACMPL) 8(OOPSLA1), 127 (2024) [10.1145/3649844] special issue: "OOPSLA1"
Files
BibTeX |
EndNote:
XML,
Text |
RIS
