Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems
doi 10.1145/1755952.1755983
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2010
Authors
Publisher
ACM Press
Available in full text
January 1, 2010
ACM Press