PRISM: Efficient and Locally Optimal Probabilistic Planning with Reachability Guarantees

@article{rose2026prism,
  title = {PRISM: Efficient and Locally Optimal Probabilistic Planning with Reachability Guarantees},
  author = {Rose, Alex and Jewison, Christopher and How, Jonathan P.},
  journal = {arXiv preprint arXiv:2606.26413},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26413},
}