Convergence Guarantee of Dynamic Programming for LTL Surrogate Reward

Zetong Xuan, Yu Wang

Linear Temporal Logic (LTL) is a formal way of specifying complex objectives for planning problems modeled as Markov Decision Processes (MDPs). The planning problem aims to find th…