2026
Bellman Value Decomposition for Task Logic in Safe Optimal Control
RSS 2026poster
Real-world tasks involve nuanced combinations of goal and safety specifications, which often directly compete. In high dimensions, the challenge is exacerbated: formal automata become cumbersome, and the combination of sparse rewards tends to require laborious tuning. In this work, we consider the s…