팔로우
Hadas Kress-Gazit
Hadas Kress-Gazit
cornell.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
9462009
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
5462009
Temporal logic motion planning for mobile robots
GE Fainekos, H Kress-Gazit, GJ Pappas
Proceedings of the 2005 IEEE International Conference on Robotics and …, 2005
3322005
Where's waldo? sensor-based temporal logic motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
Proceedings 2007 IEEE International Conference on Robotics and Automation …, 2007
2982007
Robots that use language
S Tellex, N Gopalan, H Kress-Gazit, C Matuszek
Annual Review of Control, Robotics, and Autonomous Systems 3 (1), 25-55, 2020
2922020
Hybrid controllers for path planning: A temporal logic approach
GE Fainekos, H Kress-Gazit, GJ Pappas
Proceedings of the 44th IEEE Conference on Decision and Control, 4885-4890, 2005
2322005
LTLMoP: Experimenting with language, temporal logic and robot control
C Finucane, G Jing, H Kress-Gazit
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010
2302010
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
2062008
Synthesis for robots: Guarantees and feedback for robot behavior
H Kress-Gazit, M Lahijanian, V Raman
Annual Review of Control, Robotics, and Autonomous Systems 1 (1), 211-236, 2018
1892018
Correct, reactive, high-level robot control
H Kress-Gazit, T Wongpiromsarn, U Topcu
IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011
1482011
An integrated system for perception-driven autonomy with modular robots
J Daudelin, G Jing, T Tosun, M Yim, H Kress-Gazit, M Campbell
Science Robotics 3 (23), eaat4983, 2018
1212018
Iterative temporal motion planning for hybrid systems in partially unknown environments
MR Maly, M Lahijanian, LE Kavraki, H Kress-Gazit, MY Vardi
Proceedings of the 16th international conference on Hybrid systems …, 2013
1132013
Iterative temporal planning in uncertain environments with partial satisfaction guarantees
M Lahijanian, MR Maly, D Fried, LE Kavraki, H Kress-Gazit, MY Vardi
IEEE Transactions on Robotics 32 (3), 583-599, 2016
1092016
Valet parking without a valet
DC Conner, H Kress-Gazit, H Choset, AA Rizzi, GJ Pappas
2007 IEEE/RSJ international conference on intelligent robots and systems …, 2007
1082007
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language.
V Raman, C Lignos, C Finucane, KCT Lee, MP Marcus, H Kress-Gazit
Robotics: science and systems 2 (1), 2-1, 2013
982013
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles
J Alonso-Mora, JA DeCastro, V Raman, D Rus, H Kress-Gazit
Autonomous Robots 42, 801-824, 2018
862018
An End-To-End System for Accomplishing Tasks with Modular Robots.
G Jing, T Tosun, M Yim, H Kress-Gazit
Robotics: Science and systems 2 (7), 2016
792016
Courteous cars
H Kress-Gazit, DC Conner, H Choset, AA Rizzi, GJ Pappas
IEEE Robotics & Automation Magazine 15 (1), 30-38, 2008
712008
Jessie: Synthesizing social robot behaviors for personalized neurorehabilitation and beyond
A Kubota, EIC Peterson, V Rajendren, H Kress-Gazit, LD Riek
Proceedings of the 2020 ACM/IEEE international conference on human-robot …, 2020
692020
Explaining impossible high-level robot behaviors
V Raman, H Kress-Gazit
IEEE Transactions on Robotics 29 (1), 94-104, 2012
692012
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20