Exact Evaluation of Probabilistic Programs with Cylindrical Algebraic Decomposition

Fredrik Dahlqvist, Mohamed Hamza Bandukara, Niki Omidvari

We present a method for computing the exact output distribution of small programs with random inputs. Specifically, we are interested in inline programs manipulating sensor data su…