Weighted Automata for Exact Inference in Discrete Probabilistic Programs.

Dominik Geiler, Tobias Winkler

Browse the full ICTAC paper archive.