@misc{indiciae91ecf2344c95,
  title = {PRISM: Efficient and Locally Optimal Probabilistic Planning with Reachability Guarantees},
  author = {Alex Rose and Christopher Jewison and Jonathan P. How},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26413},
  note = {Source identifier: 2606.26413}
}