Value Functions for Temporal Logic: Optimal Policies and Safety Filters
arXiv:2605.01051v1 Announce Type: cross
Abstract: 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-ho…