Biblio

Export 19 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Plaku, E.  [Clear All Filters]
2010
Plaku E, Kavraki LE, Vardi MY.  2010.  Motion Planning with Dynamics by a Synergistic Combination of Layers of Planning. IEEE Transactions on Robotics. 26:469-482.
Abstract      Preprint PDF     Publisher's web site     
2009
Plaku E, Kavraki LE, Vardi MY.  2009.  Falsification of LTL Safety Properties in Hybrid Systems. Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009).
Abstract      Preprint PDF
Plaku E, Kavraki LE, Vardi MY.  2009.  Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design. 34:157-182.
Abstract      Preprint PDF     Publisher's web site     
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     
Plaku E.  2008.  From High-Level Tasks to Low-Level Motions: Motion Planning for High-Dimensional Nonlinear Hybrid Robotic Systems. Department of Computer Science.
Abstract      Preprint PDF
2007
Plaku E, Kavraki LE.  2007.  Distributed Computation of the knn Graph for Large High-Dimensional Point Sets. Journal of Parallel and Distributed Computing. 67:346--359.
Abstract      Preprint PDF     Publisher's web site     
Plaku E, Stamati H, Clementi C, Kavraki LE.  2007.  Fast and Reliable Analysis of Molecular Motion Using Proximity Relations and Dimensionality Reduction. Proteins: Structure, Function, and Bioinformatics. 67:897--907.
Abstract           Publisher's web site     
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     
Plaku E, Kavraki LE, Vardi MY.  2007.  A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. IEEE International Conference on Robotics and Automation (ICRA). :692--697.
Abstract      Preprint PDF     Publisher's web site     
Plaku E, Kavraki LE.  2007.  Nonlinear Dimensionality Reduction Using Approximate Nearest Neighbors. SIAM International Conference on Data Mining (SDM). :3711-3716.
Abstract      Preprint PDF     Publisher's web site     
Plaku E, Bekris KE, Kavraki LE.  2007.  OOPS for Motion Planning: An Online Open-source Programming System. IEEE International Conference on Robotics and Automation (ICRA). :3711-3716.
Abstract      Preprint PDF     Publisher's web site     
2006
Plaku E, Kavraki LE.  2006.  Quantitative Analysis of Nearest Neighbors Search in High-Dimensional Sampling-based Motion Planning. Workshop on Algorithmic Foundations of Robotics (WAFR).
Abstract      Preprint PDF     Publisher's web site     
2005
Plaku E, Kavraki LE.  2005.  Distributed Sampling-Based Roadmap of Trees for Large-Scale Motion Planning. IEEE International Conference on Robotics and Automation. :3879-3884.
Abstract      Preprint PDF     Publisher's web site     
Akinc M, Bekris KE, Chen BY, Ladd AM, Plaku E, Kavraki LE.  2005.  Probabilistic Roadmaps of Trees for Parallel Computation of Multiple Query Roadmaps. Robotic Research: The Eleventh International Symposium. :80-89.
Abstract      Preprint PDF     Publisher's web site     
Plaku E, Bekris KE, Chen BY, Ladd AM, Kavraki LE.  2005.  Sampling-Based Roadmap of Trees for Parallel Motion Planning. IEEE Transactions on Robotics. 21:597-608.
Abstract      Preprint PDF     Publisher's web site     
2003
Bekris KE, Chen BY, Ladd AM, Plaku E, Kavraki LE.  2003.  Multiple Query Probabilistic Roadmap Planning Using Single Query Planning Primitives. 2003 IEEE/RJS International Conference on Intelligent Robots and Systems (IROS). :656-661.
Abstract      Preprint PDF     Publisher's web site     
2001
Plaku E, Shparlinski IE.  2001.  On Polynomial Representations of Boolean Functions Related to some Number Theoretic Problems. Foundations of Software Technology and Theoretical Computer Science. 2245:305--316.
Abstract      Preprint PDF     Publisher's web site     
1999
Arnavut Z, Plaku E.  1999.  Lossless Compression of ECG Signals. IEEE International Conference of the Engineering in Medicine and Biology Society (BMES/EMBS). 1
Abstract      Preprint PDF     Publisher's web site