1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...Sampling-Based Falsification and Verification of Controllers for Continuous Dynamic Systems...