Certifying Almost-Sure Reachability in Unknown MDPs.

arXiv:2610.18119v1 Announce Type: cross Abstract: {\em Specification-Guided Reinforcement Learning (RL)} has largely concerned itself with \emph{learning} an optimal policy against a formal specification in an unknown {\em Markov Decision Process (MDP)}. We ta