Bellman Value Decomposition for Task Logic in Safe Optimal Control

William Sharpless; Oswin So; Dylan Hirsch; Sylvia Lee Herbert; Chuchu Fan · RSS 2026 · 2026