The article introduces a general logical framework for reasoning about discrete and continuous probabilistic models in dynamical domains.

In the paper, we exploit the XADD data structure to perform probabilistic inference in mixed discrete-continuous spaces efficiently.