Login / Signup

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions.

Lutz KlinkenbergChristian BlumenthalMingshuai ChenDarion HaaseJoost-Pieter Katoen
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases