Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Xuan, Zetong"'
Autor:
Xuan, Zetong, Wang, Yu
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 the optimal policy that maximizes the satisfaction probability of the LT
Externí odkaz:
http://arxiv.org/abs/2408.05438
Surrogate rewards for linear temporal logic (LTL) objectives are commonly utilized in planning problems for LTL objectives. In a widely-adopted surrogate reward approach, two discount factors are used to ensure that the expected return approximates t
Externí odkaz:
http://arxiv.org/abs/2404.05074