guest ::
Exact Probabilistic Inference Using Generating Functions
; ; ;
2023
Online
DOI: 10.48550/arXiv.2302.00513
DOI: 10.18154/RWTH-2023-00437
URL: https://publications.rwth-aachen.de/record/862300/files/862300.pdf
URL: https://popl23.sigplan.org/details/lafi-2023-papers/5/Exact-Probabilistic-Inference-Using-Generating-Functions
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Profilbereich Information & Communication Technology (ICT) (080017)
- Fachgruppe Informatik (120000)
- Graduiertenkolleg UnRAVeL (080060)
Projekte
Inhaltliche Beschreibung (Schlagwörter)
Inference (frei) ; Logics in Computer Science (frei) ; Probabilistic Programs (frei) ; Verification (frei)
OpenAccess: 
PDF
External links: 
AbstractFulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2302.00513
Interne Identnummern
RWTH-2023-00437
Datensatz-ID: 862300
Beteiligte Länder
Germany
; 
Record created 2023-01-10, last modified 2026-01-30