Bayesian Optimization Framework for Efficient Fleet Design in Autonomous Multi-Robot Exploration. | AMiner