A supermartingale approach to Gaussian process based sequential design of experiments | Read Paper on Bytez