TY  - RPRT
TI  - Certifying Almost-Sure Reachability in Unknown MDPs
AU  - S Akshay
AU  - Suguman Bansal
AU  - Gaurav Mahla
PY  - 2026
UR  - https://arxiv.org/abs/2610.18119
ID  - 2610.18119
ER  -