Consistency of some sequential experimental design strategies for excursion set estimation based on vector-valued Gaussian processes