TY  - RPRT
TI  - PRISM: Efficient and Locally Optimal Probabilistic Planning with Reachability Guarantees
AU  - Alex Rose
AU  - Christopher Jewison
AU  - Jonathan P. How
PY  - 2026
UR  - https://arxiv.org/abs/2606.26413
ID  - 2606.26413
ER  -