@inproceedings{ChePapKum07,
  author       = {P. Cheng and G. Pappas and V. Kumar},
  title        = {Decidability of Motion Planning with Differential Constraints},
  booktitle    = {Proceedings IEEE International Conference on Robotics
                 and Automation},
  year         = {2007}
}