Uncertainty-constrained robot exploration: A mixed-integer linear programming approach | IEEE Conference Publication | IEEE Xplore