@inproceedings{CheKum06,
  author       = {P. Cheng and V. Kumar},
  title        = {Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems},
  booktitle    = {Workshop on Algorithmic Foundations of Robotics {VII}},
  editor       = {S. Akella and N. Amato and W. Huang and B. Misha},
  year         = {2006}
}