Biblio

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Taxonomy Term is project_Hybrid  [Clear All Filters]
2008
Plaku, E, Kavraki LE, Vardi MY.  2008.  Impact of Workspace Decompositions on Discrete Search Leading Continuous Exploration (DSLX) Motion Planning. IEEE International Conference on Robotics and Automation. :3751-3756.
Abstract     
Plaku, E, Kavraki LE, Vardi MY.  2008.  Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems. :326-333.
Abstract      Preprint PDF     Publisher's web site     
2007
Plaku, E, Kavraki LE, Vardi MY.  2007.  Hybrid Systems: From Verification to Falsification. International Conference on Computer Aided Verification (CAV). 4590:468--481.
Abstract      Preprint PDF     Publisher's web site