Developing a framework for approximating the distribution of non-linear stochastic dynamical systems with formal guarantees of correctness.