Exact Probabilistic Inference Using Generating Functions

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

(2023)
Preprint

Einrichtungen

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

Identifikationsnummern