@misc{indiciae3b92a3282b2a,
  title = {Bellman Value Decomposition for Task Logic in Safe Optimal Control},
  author = {William Sharpless and Oswin So and Dylan Hirsch and Sylvia Herbert and Chuchu Fan},
  year = {2026},
  url = {https://arxiv.org/abs/2602.19532},
  note = {Source identifier: 2602.19532}
}