Hadas Kress-Gazit

Cytowane przez

	Wszystkie	Od 2018
Cytowania	5826	3419
h-indeks	34	28
i10-indeks	82	68

660

330

165

495

20062007200820092010201120122013201420152016201720182019202020212022202318 33 51 65 96 185 235 308 274 325 402 371 495 474 610 565 642 626

Dostęp publiczny

Wyświetl wszystko

32 artykuły

14 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaZweryfikowany adres z seas.upenn.edu
Vasumathi RamanZweryfikowany adres z cds.caltech.edu
Georgios FainekosToyota Research Institute of North AmericaZweryfikowany adres z toyota.com
Morteza LahijanianUniversity of Colorado BoulderZweryfikowany adres z colorado.edu
Jonathan DeCastroToyota Research InstituteZweryfikowany adres z cornell.edu
Kai Weng Wong (Catherine Wong)Cornell UniversityZweryfikowany adres z cornell.edu
Tarik TosunResearch Engineer, WaymoZweryfikowany adres z google.com
Mark YimUniversity of PennsylvaniaZweryfikowany adres z seas.upenn.edu
Ruediger EhlersClausthal University of TechnologyZweryfikowany adres z tu-clausthal.de
David C. ConnerAssociate Professor of Computer Science, Christopher Newport UniversityZweryfikowany adres z cnu.edu
Mitchell MarcusProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
Constantine LignosBrandeis UniversityZweryfikowany adres z brandeis.edu
Mark CampbellJohn A. Mellowes ‘60 Professor, Cornell UniversityZweryfikowany adres z cornell.edu
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITZweryfikowany adres z csail.mit.edu
Spyros ManiatopoulosGraduate Student, Cornell UniversityZweryfikowany adres z ieee.org
Lydia E. KavrakiRice UniversityZweryfikowany adres z rice.edu
Moshe Y. VardiRice UniversityZweryfikowany adres z cs.rice.edu
Thomas HowardUniversity of RochesterZweryfikowany adres z ece.rochester.edu
Philipp SchillingerBosch Center for Artificial IntelligenceZweryfikowany adres z kth.se
Alfred A. RizziCTO at Boston Dynamics AI InstituteZweryfikowany adres z alum.mit.edu

Obserwuj

Hadas Kress-Gazit

Cornell University

Zweryfikowany adres z cornell.edu - Strona główna

robotics formal methods


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Temporal-logic-based reactive mission and motion planning H Kress-Gazit, GE Fainekos, GJ Pappas IEEE transactions on robotics 25 (6), 1370-1381, 2009	872	2009
Temporal logic motion planning for dynamic robots GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas Automatica 45 (2), 343-352, 2009	505	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	295	2005
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	295	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	291	2007
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	219	2005
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	207	2010
Translating structured english to robot controllers H Kress-Gazit, GE Fainekos, GJ Pappas Advanced Robotics 22 (12), 1343-1359, 2008	195	2008
Robots that use language S Tellex, N Gopalan, H Kress-Gazit, C Matuszek Annual Review of Control, Robotics, and Autonomous Systems 3, 25-55, 2020	182	2020
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, 211-236, 2018	158	2018
Correct, reactive, high-level robot control H Kress-Gazit, T Wongpiromsarn, U Topcu IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011	144	2011
Physics-based grasp planning through clutter MR Dogar, K Hsiao, M Ciocarlie, S Srinivasa Robot.: Sci. Syst. VIII, 57, 2012	142	2012
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	108	2013
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	105	2007
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	99	2016
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	96	2018
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	87	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	76	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 12, 4879-4883, 2016	68	2016
Provably correct reactive control from natural language C Lignos, V Raman, C Finucane, M Marcus, H Kress-Gazit Autonomous Robots 38, 89-105, 2015	67	2015

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy