Bayesian Learning for the Robust Verification of Autonomous Robots