Hadas Kress-Gazit

Citirano

	Sve	Od 2020.
Citati	6517	3197
H-indeks	37	28
i10-indeks	88	61

700

350

175

525

2006200720082009201020112012201320142015201620172018201920202021202220232024202518 32 51 65 96 193 252 298 269 307 374 363 478 469 594 575 644 693 632 55

Javni pristup

Prikaži sve

39 članaka

15 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaPotvrđena adresa e-pošte na seas.upenn.edu
Vasumathi RamanPotvrđena adresa e-pošte na cds.caltech.edu
Georgios FainekosToyota Research Institute of North AmericaPotvrđena adresa e-pošte na toyota.com
Morteza LahijanianUniversity of Colorado BoulderPotvrđena adresa e-pošte na colorado.edu
Jonathan DeCastroToyota Research InstitutePotvrđena adresa e-pošte na cornell.edu
Kai Weng Wong (Catherine Wong)Cornell UniversityPotvrđena adresa e-pošte na cornell.edu
Tarik TosunResearch Engineer, WaymoPotvrđena adresa e-pošte na google.com
Mark YimUniversity of PennsylvaniaPotvrđena adresa e-pošte na seas.upenn.edu
Ruediger EhlersClausthal University of TechnologyPotvrđena adresa e-pošte na tu-clausthal.de
David C. ConnerAssociate Professor, School of Engineering and Computing, Christopher Newport UniversityPotvrđena adresa e-pošte na cnu.edu
Mitchell MarcusProfessor of Computer and Information Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Constantine LignosBrandeis UniversityPotvrđena adresa e-pošte na brandeis.edu
Mark CampbellJohn A. Mellowes ‘60 Professor, Cornell UniversityPotvrđena adresa e-pošte na cornell.edu
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITPotvrđena adresa e-pošte na csail.mit.edu
Spyros ManiatopoulosGraduate Student, Cornell UniversityPotvrđena adresa e-pošte na ieee.org
Lydia E. KavrakiRice UniversityPotvrđena adresa e-pošte na rice.edu
Moshe Y. VardiRice UniversityPotvrđena adresa e-pošte na cs.rice.edu
Thomas HowardUniversity of RochesterPotvrđena adresa e-pošte na ece.rochester.edu
Philipp SchillingerBosch Center for Artificial IntelligencePotvrđena adresa e-pošte na kth.se
Alfred A. RizziCTO at Boston Dynamics AI InstitutePotvrđena adresa e-pošte na alum.mit.edu

Prati

Hadas Kress-Gazit

Cornell University

Potvrđena adresa e-pošte na cornell.edu - Početna stranica

robotics formal methods


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Temporal-logic-based reactive mission and motion planning H Kress-Gazit, GE Fainekos, GJ Pappas IEEE transactions on robotics 25 (6), 1370-1381, 2009	955	2009
Temporal logic motion planning for dynamic robots GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas Automatica 45 (2), 343-352, 2009	552	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	340	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	301	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	298	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	236	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	234	2005
Translating structured english to robot controllers H Kress-Gazit, GE Fainekos, GJ Pappas Advanced Robotics 22 (12), 1343-1359, 2008	209	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	199	2018
Correct, reactive, high-level robot control H Kress-Gazit, T Wongpiromsarn, U Topcu IEEE Robotics & Automation Magazine 18 (3), 65-74, 2011	149	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	124	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	114	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	111	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	101	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	88	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	78	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	70	2015

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori