A bio-inspired localization-free stochastic coverage algorithm with verified reachability. (29th July 2021)