Dynamic programming in games