Exact Probabilistic Inference Using Generating Functions

Klinkenberg, Lutz; Winkler, Tobias; Chen, Mingshuai; Katoen, Joost-Pieter

(2023)
Preprint

Einrichtungen

• Profilbereich Information & Communication Technology (ICT) [080017]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]