Biblio

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Lydia Kavraki  [Clear All Filters]
2013
Grady DK, Moll M, Kavraki L.  2013.  Automated Model Approximation for Robotic Navigation with POMDPs. IEEE International Conference on Robotics and Automation.
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     
Dhanik A, Kavraki L.  2012.  Protein-ligand interactions: computational docking. eLS. John Wiley & Sons Ltd.
Abstract      Preprint PDF     Publisher's web site