Value Functions for Temporal Logic: Optimal Policies and Safety Filters (ArXiv cs.LO Recent Papers, 2026)