Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata

Dominik Geißler, Tobias Winkler

Probabilistic programs encode stochastic models as ordinary-looking programs with primitives for sampling numbers from predefined distributions and conditioning. Their applications…