{"id":"arxiv/2605.01051","url":"https://arxiv.org/abs/2605.01051","tags":["cs.RO","cs.AI","cs.LG","cs.LO","math.OC"],"score":0,"title":"Value Functions for Temporal Logic: Optimal Policies and Safety Filters","domain":"cs.RO","source":"arxiv","authors":["Oswin So","William Sharpless","Sylvia Herbert","Chuchu Fan"],"reviews":0,"subject":"cs.RO","summary":"While Bellman equations for basic reach, avoid, and reach-avoid problems are well studied, the relationship between value optimality and policy optimality becomes subtle in the undiscounted infinite-horizon setting, particularly for more complicated tasks. Greedily maximizing the Q-function can produce policies that indefinitely defer task completion for reach-avoid problems, or equivalently, Until specifications, even when the value function is optimal. Building upon recent results decomposing the value function for temporal logic (TL) into a graph of constituent value functions, we…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-01","reactions":{}}