Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems

doi 10.1145/1755952.1755983