Probabilistic programming meets automata theory: exact inference using weighted automata

DOI10.1016/J.TCS.2026.116224MaRDI QIDQ7411108zbMATH OpenFDO

Authors Dominik Geißler, Tobias Winkler

Publication date 2026

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2026.116224

zbMATH Keywords

posterior inferenceprobabilistic programmingprobability generating functionsprogram semanticsweighted automata

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Abstraction, Refinement and Proof for Probabilistic Systems
• Does a Program Yield the Right Distribution?
• Generating functions for probabilistic programs
• Handbook of weighted automata
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Semantics of probabilistic programs
• Weighted automata for exact inference in discrete probabilistic programs

This page was built for publication: Probabilistic programming meets automata theory: exact inference using weighted automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411108)