Hadas Kress-Gazit

Viittaukset

	Kaikki	2018 lähtien
Sitaatit	5823	3416
h-indeksi	34	28
i10-indeksi	82	68

660

330

165

495

20062007200820092010201120122013201420152016201720182019202020212022202318 33 51 65 96 185 235 308 274 325 402 371 495 473 611 565 642 623

Yleisessä käytössä

Näytä kaikki

32 artikkelia

14 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVahvistettu sähköpostiosoite verkkotunnuksessa seas.upenn.edu
Vasumathi RamanVahvistettu sähköpostiosoite verkkotunnuksessa cds.caltech.edu
Georgios FainekosToyota Research Institute of North AmericaVahvistettu sähköpostiosoite verkkotunnuksessa toyota.com
Morteza LahijanianUniversity of Colorado BoulderVahvistettu sähköpostiosoite verkkotunnuksessa colorado.edu
Jonathan DeCastroToyota Research InstituteVahvistettu sähköpostiosoite verkkotunnuksessa cornell.edu
Kai Weng Wong (Catherine Wong)Cornell UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cornell.edu
Tarik TosunResearch Engineer, WaymoVahvistettu sähköpostiosoite verkkotunnuksessa google.com
Mark YimUniversity of PennsylvaniaVahvistettu sähköpostiosoite verkkotunnuksessa seas.upenn.edu
Ruediger EhlersClausthal University of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa tu-clausthal.de
David C. ConnerAssociate Professor of Computer Science, Christopher Newport UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cnu.edu
Mitchell MarcusProfessor of Computer and Information Science, University of PennsylvaniaVahvistettu sähköpostiosoite verkkotunnuksessa cis.upenn.edu
Constantine LignosBrandeis UniversityVahvistettu sähköpostiosoite verkkotunnuksessa brandeis.edu
Mark CampbellJohn A. Mellowes ‘60 Professor, Cornell UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cornell.edu
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITVahvistettu sähköpostiosoite verkkotunnuksessa csail.mit.edu
Spyros ManiatopoulosGraduate Student, Cornell UniversityVahvistettu sähköpostiosoite verkkotunnuksessa ieee.org
Lydia E. KavrakiRice UniversityVahvistettu sähköpostiosoite verkkotunnuksessa rice.edu
Moshe Y. VardiRice UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.rice.edu
Thomas HowardUniversity of RochesterVahvistettu sähköpostiosoite verkkotunnuksessa ece.rochester.edu
Philipp SchillingerBosch Center for Artificial IntelligenceVahvistettu sähköpostiosoite verkkotunnuksessa kth.se
Alfred A. RizziCTO at Boston Dynamics AI InstituteVahvistettu sähköpostiosoite verkkotunnuksessa alum.mit.edu

Seuraa

Hadas Kress-Gazit

Cornell University

Vahvistettu sähköpostiosoite verkkotunnuksessa cornell.edu - Kotisivu

robotics formal methods


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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	181	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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–20

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat