RAnGE: Reachability Analysis for Guaranteed Ergodicity