Biblio

Export 19 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is V  [Clear All Filters]
2013
Maly MR, Lahijanian M, Kavraki LE, Kress-Gazit H, Vardi MY.  2013.  Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments. ACM International Conference on Hybrid Systems: Computation and Control.
Abstract      Preprint PDF
2012
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     
2011
Bhatia A, Maly MR, Kavraki LE, Vardi MY.  2011.  Motion Planning with Complex Goals. Robotics Automation Magazine, IEEE. 18:55-64.
Abstract      Preprint PDF     Publisher's web site     
2010
Bhatia A, Kavraki LE, Vardi MY.  2010.  Sampling-Based Motion Planning with Temporal Goals. IEEE International Conference on Robotics and Automation. :2689-2696.
Abstract      Preprint PDF
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     
Bhatia A, Kavraki LE, Vardi MY.  2010.  Motion Planning with Hybrid Dynamics and Temporal Goals. IEEE Conference on Decision and Control. :1108-1115.
Abstract      Preprint PDF
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     
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     
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     
2005
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     
1998
Finn PW, Kavraki LE, Latombe J-C, Shelton C, Venkatasubramanian S, Yao A.  1998.  RAPID: Randomized Pharmacophore Identification for drug design. Computational Geometry: Theory and Applications. 10(4):263-272.
Abstract      Preprint PDF     Publisher's web site     
1997
Finn PW, Kavraki LE, Latombe J-C, Motwani R, Venkatasubramanian S.  1997.  Search Techniques for Rational Drug Design. International Conference on Intelligent Information Systems. :2-6.
Abstract           Publisher's web site     
Finn PW, Kavraki LE, Latombe J-C, Motwani R, Shelton C, Venkatasubramanian S, Yao A.  1997.  RAPID: Randomized Pharmacophore Identification for drug design. ACM Conference on Computational Geometry. :324-333.
Abstract      Preprint PDF     Publisher's web site     
1996
Finn PW, Halperin D, Kavraki LE, Latombe J-C, Motwani R, Shelton C, Venkat S.  1996.  Geometric Manipulation of Flexible Ligands. LNCS Series Applied Computational Geometry - Towards Geometric Engineering. 1148:67-78.
Preprint PDF     Publisher's web site     
Ter Doest H, Moll M, Bos R, Van de Burgt S, Nijholt A.  1996.  Language Engineering in Dialogue Systems.
Abstract      Preprint PDF
Ter Doest H, Moll M, Bos R, Van de Burgt S, Nijholt A.  1996.  Language Engineering in Dialogue Systems. Computers in Engineering Symposium. :68--79.
Abstract