Hadas Kress-Gazit

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	6480	3186
h-index	36	28
i10-index	88	61

700

350

175

525

2006200720082009201020112012201320142015201620172018201920202021202220232024202518 33 51 65 95 184 245 302 266 306 376 365 475 460 597 582 640 693 640 31

Δημόσια πρόσβαση

Προβολή όλων

39 άρθρα

15 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα seas.upenn.edu
Vasumathi RamanΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cds.caltech.edu
Georgios FainekosToyota Research Institute of North AmericaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα toyota.com
Morteza LahijanianUniversity of Colorado BoulderΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα colorado.edu
Jonathan DeCastroToyota Research InstituteΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu
Kai Weng Wong (Catherine Wong)Cornell UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu
Tarik TosunResearch Engineer, WaymoΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα google.com
Mark YimUniversity of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα seas.upenn.edu
Ruediger EhlersClausthal University of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tu-clausthal.de
David C. ConnerAssociate Professor, School of Engineering and Computing, Christopher Newport UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cnu.edu
Mitchell MarcusProfessor of Computer and Information Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Constantine LignosBrandeis UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα brandeis.edu
Mark CampbellJohn A. Mellowes ‘60 Professor, Cornell UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu
Daniela RusAndrew (1956) and Erna Viterbi Professor of Computer Science, MITΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csail.mit.edu
Spyros ManiatopoulosGraduate Student, Cornell UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ieee.org
Lydia E. KavrakiRice UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα rice.edu
Moshe Y. VardiRice UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.rice.edu
Thomas HowardUniversity of RochesterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ece.rochester.edu
Philipp SchillingerBosch Center for Artificial IntelligenceΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kth.se
Alfred A. RizziCTO at Boston Dynamics AI InstituteΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα alum.mit.edu

Παρακολούθηση

Hadas Kress-Gazit

Cornell University

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu - Αρχική σελίδα

robotics formal methods


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
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

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς