A probabilistic approach to high-confidence cleaning guarantees for low-cost cleaning robots | IEEE Conference Publication | IEEE Xplore