Sampling-based falsification and verification of controllers for continuous dynamic systems,

P. Cheng and V. Kumar, “Sampling-based falsification and verification of controllers for continuous dynamic systems,” Int. Journal Robotics Research, vol. 27, iss. 11-12, pp. 1232-1245, 2008.