TY - RPRT TI - Bellman Value Decomposition for Task Logic in Safe Optimal Control AU - William Sharpless AU - Oswin So AU - Dylan Hirsch AU - Sylvia Herbert AU - Chuchu Fan PY - 2026 UR - https://arxiv.org/abs/2602.19532 ID - 2602.19532 ER -