Convergence Results for Some Temporal Difference Methods Based on Least Squares | Synapse