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