Biblio

Export 23 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O [P] Q R S T U V W X Y Z   [Show ALL]
P
Poston T, Dhanik A, Burdet E, Teo CL.  2005.  Haptics of Buckling. 1st Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (WHC’05). :299-307.
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     
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, 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, 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     
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, 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     
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     
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.  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
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.  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 L, Vardi M.  2012.  Falsification of LTL safety properties in hybrid systems. International Journal on Software Tools for Technology Transfer (STTT).
Preprint PDF     Publisher's web site     
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     
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     
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.  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     
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     
Phillips J, Kavraki LE, Bedrosian N.  2003.  Spacecraft Rendezvous and Docking With Real-Time Randomized Optimization. AIAA (American Institute of Aeronautics and Astronautics) Guidance, Navigation and Control Conference.
Preprint PDF
Phillips J, Kavraki LE, Bedrosian N.  2003.  Probabilistic Optimization Applied to Spacecraft Rendezvous and Docking. 13th American Astronomical Society/AIAA - Space Flight Mechanics Meeting.
Phillips J, Ladd AM, Kavraki LE.  2002.  Simulated Knot Tying. Proceedings of The 2002 IEEE International Conference on Robotics and Automation (ICRA 2002). :841-846.
Abstract      Preprint PDF     Publisher's web site     
Phillips J, Bedrosian N, Kavraki LE.  2004.  Guided Expansive Spaces Trees: A Search Strategy for Motion- and Cost-Constrained State Spaces. Proceedings of The IEEE International Conference on Robotics and Automation (ICRA). :3968-3973.
Abstract      Preprint PDF     Publisher's web site     
Pan VY, Grady DK, Murphy B, Qian G, Rosholt RE, Ruslanov AD.  2008.  Schur aggregation for linear systems and determinants. Theoretical Computer Science. 409:255-268.
Abstract      Preprint PDF     Publisher's web site