Falsification of Hybrid Systems Using Adaptive Probabilistic Search.