Completed Bellman Backup and value iteration