| Temporal-logic-based reactive mission and motion planning H Kress-Gazit, GE Fainekos, GJ Pappas IEEE transactions on robotics 25 (6), 1370-1381, 2009 | 957 | 2009 |
| Temporal logic motion planning for dynamic robots GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas Automatica 45 (2), 343-352, 2009 | 550 | 2009 |
| 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 | 336 | 2005 |
| 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 | 300 | 2007 |
| 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 | 299 | 2020 |
| 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 | 234 | 2010 |
| 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 | 232 | 2005 |
| Translating structured english to robot controllers H Kress-Gazit, GE Fainekos, GJ Pappas Advanced Robotics 22 (12), 1343-1359, 2008 | 210 | 2008 |
| 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 | 195 | 2018 |
| Correct, reactive, high-level robot control H Kress-Gazit, T Wongpiromsarn, U Topcu IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011 | 148 | 2011 |
| 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 | 123 | 2018 |
| 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 | 113 | 2013 |
| 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 | 112 | 2016 |
| 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 | 109 | 2007 |
| 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 | 100 | 2013 |
| 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 | 89 | 2018 |
| 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 | 80 | 2016 |
| 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 | 71 | 2020 |
| Courteous cars H Kress-Gazit, DC Conner, H Choset, AA Rizzi, GJ Pappas IEEE Robotics & Automation Magazine 15 (1), 30-38, 2008 | 71 | 2008 |
| Provably correct reactive control from natural language C Lignos, V Raman, C Finucane, M Marcus, H Kress-Gazit Autonomous Robots 38, 89-105, 2015 | 69 | 2015 |
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania確認したメール アドレス: seas.upenn.edu