Biblio

Export 8 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is F  [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]
F
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, Vardi MY.  2009.  Falsiļ¬cation 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, 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     
Ladd AM, Kavraki LE.  2005.  Fast Tree-Based Exploration of State Space for Robots with Dynamics. Algorithmic Foundations of Robotics VI. :297-312.
Abstract      Preprint PDF     Publisher's web site     
Heath AP, Bennett GN, Kavraki LE.  2010.  Finding Metabolic Pathways Using Atom Tracking. Bioinformatics. 26:1548-1555.
Abstract      Preprint PDF     Publisher's web site     
Holleman C, Kavraki LE.  2000.  A Framework for Using the Workspace Medial Axis in PRM Planners. Proceedings of the 2000 International Conference on Robotics and Automation (ICRA 2000 ). 2:1408-1413.
Abstract      Preprint PDF     Publisher's web site     
Heath AP, Kavraki LE, Clementi C.  2007.  From coarse-grain to all-atom: Toward multiscale analysis of protein landscapes. Proteins: Structure, Function and Bioinformatics. 68:646-661.
Abstract           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