Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward

Open in new window