An active learning approach to the falsification of black box cyber-physical systems