Preprint on understanding and computing the true optimal value function of infinite-horizon pendulum swing-up