Certifying Almost-Sure Reachability in Unknown MDPs

S Akshay, Suguman Bansal, Gaurav Mahla

{\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…