( en | de | ru )

 

Disambiguation of "Kavraki, Lydia E."

Author of the publication

copydeleteadd this publication to your clipboard
Falsification of LTL Safety Properties in Hybrid Systems.

, , and . TACAS, volume 5505 of Lecture Notes in Computer Science, page 368-382. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ursula E E Köhler

Lydia Wladimirowa

Lydia Leps

Lydia Kanters

Lydia Hübner

 

Other publications of authors with the same name

Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis., , , and . IEEE Robotics Autom. Lett., 4 (2): 285-292 (2019)Planning Paths for Elastic Objects under Manipulation Constraints., and . Int. J. Robotics Res., 20 (3): 188-208 (2001)Editorial: Special Issue on Robotics Techniques Applied to Computational Biology., , and . Int. J. Robotics Res., 24 (2-3): 107 (2005)Analysis of probabilistic roadmaps for path planning., , and . IEEE Trans. Robotics Autom., 14 (1): 166-171 (1998)Randomized path planning for linkages with closed kinematic chains., , and . IEEE Trans. Robotics Autom., 17 (6): 951-958 (2001)Part orientation with a force field: orienting multiple shapes using a single field., and . IROS, page 208-213. IEEE, (2001)Fast stochastic motion planning with optimality guarantees using local policy reconfiguration., , , and . ICRA, page 3013-3019. IEEE, (2014)Towards manipulation planning with temporal logic specifications., , , and . ICRA, page 346-352. IEEE, (2015)Computational challenges in systems biology., and . Comput. Sci. Rev., 3 (1): 1-17 (2009)Sampling-based robot motion planning: Towards realistic applications., , and . Comput. Sci. Rev., 1 (1): 2-11 (2007)