TY  - RPRT
TI  - Value Functions for Temporal Logic: Optimal Policies and Safety Filters
AU  - Oswin So
AU  - William Sharpless
AU  - Sylvia Herbert
AU  - Chuchu Fan
PY  - 2026
UR  - https://arxiv.org/abs/2605.01051
ID  - 2605.01051
ER  -