2009 |
13 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
Falsification of LTL Safety Properties in Hybrid Systems.
TACAS 2009: 368-382 |
12 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
Hybrid systems: from verification to falsification by combining motion planning and discrete search.
Formal Methods in System Design 34(2): 157-182 (2009) |
2008 |
11 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
Impact of workspace decompositions on discrete search leading continuous exploration (DSLX) motion planning.
ICRA 2008: 3751-3756 |
2007 |
10 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
Hybrid Systems: From Verification to Falsification.
CAV 2007: 463-476 |
9 | EE | Erion Plaku,
Kostas E. Bekris,
Lydia E. Kavraki:
OOPS for Motion Planning: An Online, Open-source, Programming System.
ICRA 2007: 3711-3716 |
8 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints.
ICRA 2007: 692-697 |
7 | EE | Erion Plaku,
Lydia E. Kavraki,
Moshe Y. Vardi:
Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning.
Robotics: Science and Systems 2007 |
6 | EE | Erion Plaku,
Lydia E. Kavraki:
Nonlinear Dimensionality Reduction using Approximate Nearest Neighbors.
SDM 2007 |
5 | EE | Erion Plaku,
Lydia E. Kavraki:
Distributed computation of the knn graph for large high-dimensional point sets.
J. Parallel Distrib. Comput. 67(3): 346-359 (2007) |
2006 |
4 | EE | Erion Plaku,
Lydia E. Kavraki:
Quantitative Analysis of Nearest-Neighbors Search in High-Dimensional Sampling-Based Motion Planning.
WAFR 2006: 3-18 |
2005 |
3 | | Erion Plaku,
Lydia E. Kavraki:
Distributed Sampling-Based Roadmap of Trees for Large-Scale Motion Planning.
ICRA 2005: 3868-3873 |
2003 |
2 | EE | Mert Akinc,
Kostas E. Bekris,
Brian Y. Chen,
Andrew M. Ladd,
Erion Plaku,
Lydia E. Kavraki:
Probabilistic Roadmaps of Trees for Parallel Computation of Multiple Query Roadmaps.
ISRR 2003: 80-89 |
2001 |
1 | EE | Erion Plaku,
Igor Shparlinski:
On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems.
FSTTCS 2001: 305-316 |