Hadas Kress‐Gazit

Cornell University, University of Pennsylvania, Smithsonian Institution, Sibley Memorial Hospital, Corvallis Environmental Center, California University of Pennsylvania

Papers

115

Total Citations

4,750

H-Index

30

About

No biography available yet.

Research Focus

Computer science115 · 4,750 citations

Artificial intelligence110 · 4,676 citations

Robot107 · 4,652 citations

Engineering67 · 3,305 citations

Control engineering43 · 2,767 citations

Temporal logic21 · 2,603 citations

Linear temporal logic23 · 2,494 citations

Theoretical computer science24 · 2,299 citations

Programming language58 · 2,167 citations

Task (project management)43 · 1,999 citations

Mobile robot38 · 1,939 citations

Controller (irrigation)28 · 1,714 citations

Key Achievements

30

H-Index

115

Papers

4,750

Total Citations

41

Avg Citations/Paper

🏆 Most Cited Paper

Temporal-Logic-Based Reactive Mission and Motion Planning

755 citations · 2009

📈 Most Prolific Year: 2016 (10 Papers)

🤝 Key Collaborators: 151

🏛 Institutions: Cornell University, University of Pennsylvania, Smithsonian Institution, Sibley Memorial Hospital, Corvallis Environmental Center, California University of Pennsylvania

Top Papers

1
Temporal-Logic-Based Reactive Mission and Motion Planning
755 citations · 2009
2
Temporal logic motion planning for dynamic robots
460 citations · 2008
3
Temporal Logic Motion Planning for Mobile Robots
233 citations · 2006
4
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
222 citations · 2007
5
Robots That Use Language
204 citations · 2020
6
Hybrid Controllers for Path Planning: A Temporal Logic Approach
172 citations · 2006
7
LTLMoP: Experimenting with language, Temporal Logic and robot control
171 citations · 2010
8
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
170 citations · 2018
9
Translating Structured English to Robot Controllers
150 citations · 2008
10
Correct, Reactive, High-Level Robot Control
122 citations · 2011

Not generated yet