@misc{indiciae5a1afbc21ec3,
  title = {Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis},
  author = {Albert Lin and Alessandro Pinto and Somil Bansal},
  year = {2026},
  url = {https://arxiv.org/abs/2511.14755},
  note = {Source identifier: 2511.14755}
}