Peng Cheng, Vijay Kumar. Sampling-Based Falsification and Verification of Controllers for Continuous Dynamic Systems. In Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra, editors, Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA. Volume 47 of Springer Tracts in Advanced Robotics, pages 391-406, Springer, 2006. [doi]
Abstract is missing.