Occupancy map building through Bayesian exploration. (June 2019)