insights in reinforcement rearning : formal analysis and empirical evaluation of temporal - difference learning algorithms .
Convergent Temporal-Difference Learning with Arbitrary Smooth Function Approximation