Kavraki Lab Physical and Biological Computing
Kavraki Lab
Physical and Biological Computing

  • Robotics
  • Bioinformatics
  • Publications
  • Software
  • Members
  • Awards
  • List
  • Filter
Export 4 results:[BibTex][EndNote Tagged][EndNote XML]
Sort by:[Year][Title][Type][Author]
Filters: author is Vardi  [Clear All Filters]
2008
Impact of Workspace Decompositions on Discrete Search Leading Continuous Exploration (DSLX) Motion Planning, Plaku E, Kavraki LE, Vardi MY , IEEE International Conference on Robotics and Automation, Pasadena, CA, (2008)

  • Abstract
  • BibTex
  • Endnote Tagged
  • Endnote XML
2007
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints, Plaku E, Kavraki LE, Vardi MY , IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, p.692--697, (2007)

  • Abstract
  • BibTex
  • Endnote Tagged
  • Endnote XML
  • PDF
  • Publisher's web site
Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning, Plaku E, Kavraki LE, Vardi MY , Robotics: Science and Systems, Atlanta, Georgia, (2007)

  • Abstract
  • BibTex
  • Endnote Tagged
  • Endnote XML
  • PDF
  • Publisher's web site
Hybrid Systems: From Verification to Falsification, Plaku E, Kavraki LE, Vardi MY, and Hermanns DWH , International Conference on Computer Aided Verification (CAV), Volume 4590, Berlin, Germany, p.468--481, (2007)

  • Abstract
  • BibTex
  • Endnote Tagged
  • Endnote XML
  • PDF
  • Publisher's web site