@article{CheKum07,
  author       = {P. Cheng and V. Kumar},
  title        = {Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems},
  journal      = {International Journal of Robotics Research},
  note         = {invited},
  year         = {2007}
}