Motion planning in an unknown polygonal environment with sounded performance guarantee | IEEE Conference Publication | IEEE Xplore