Sciweavers

1335 search results - page 46 / 267
» Exploration of the Robustness of Plans
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
13 years 11 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
ICCAD
1997
IEEE
129views Hardware» more  ICCAD 1997»
13 years 12 months ago
A fast and robust exact algorithm for face embedding
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
Evguenii I. Goldberg, Tiziano Villa, Robert K. Bra...
ICRA
2003
IEEE
159views Robotics» more  ICRA 2003»
14 years 1 months ago
Randomized manipulation planning for a multi-fingered hand by switching contact modes
Abstract— This paper presents a randomized manipulation planner for a multi-fingered hand by switching contact modes. Manipulation planning for such a system should consider cha...
Masahito Yashima, Yoshikazu Shiina, Hideya Yamaguc...
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
13 years 6 months ago
Sampling-based motion planning with temporal goals
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
COLT
2010
Springer
13 years 5 months ago
Open Loop Optimistic Planning
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
Sébastien Bubeck, Rémi Munos