Using Bayesian optimization to guide probing of a flexible environment for simultaneous registration and stiffness mapping | IEEE Conference Publication | IEEE Xplore