Probabilistic Differential Dynamic Programming
insights in reinforcement rearning : formal analysis and empirical evaluation of temporal - difference learning algorithms .