Papers
19
Total Citations
837
H-Index
15
About
No biography available yet.
Research Focus
Computer science19 · 837 citations
Artificial intelligence19 · 837 citations
Robot18 · 734 citations
Programming language14 · 686 citations
Human–computer interaction8 · 439 citations
Process (computing)5 · 396 citations
Controller (irrigation)9 · 359 citations
Software engineering4 · 344 citations
Control engineering8 · 342 citations
Engineering8 · 324 citations
Robotics4 · 293 citations
Distributed computing7 · 287 citations
Key Achievements
15
H-Index
19
Papers
837
Total Citations
44
Avg Citations/Paper
🏆 Most Cited Paper
Synthesis for Robots: Guarantees and Feedback for Robot Behavior
170 citations · 2018
📈 Most Prolific Year: 2012 (5 Papers)
🤝 Key Collaborators: 19
🏛 Institutions: University of California, San Francisco, Cornell University, California Institute of Technology, Massachusetts Institute of Technology
Top Papers
- 1Synthesis for Robots: Guarantees and Feedback for Robot Behavior170 citations · 2018
- 2Slugs: Extensible GR(1) Synthesis103 citations · 2016
- 3
- 4
- 5Explaining Impossible High-Level Robot Behaviors52 citations · 2012
- 6Provably correct reactive control from natural language52 citations · 2014
- 7
- 8Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems44 citations · 2017
- 9
- 10
Key Collaborators
HKHadas Kress‐Gazit16 shared papersCFCameron Finucane6 shared papersJDJonathan DeCastro3 shared papersCLConstantine Lignos3 shared papersNPNir Piterman2 shared papersDRDaniela Rus2 shared papersMMMitch Marcus2 shared papersJAJavier Alonso–Mora2 shared papersSKSertaç Karaman1 shared papersRERüdiger Ehlers1 shared papersMSMikhail S. Medvedev1 shared papersMPMitchell P. Marcus1 shared papersCVCristian-Ioan Vasile1 shared papersHAHolly A. Yanco1 shared papersIPIan Perera1 shared papersGJGangyuan Jing1 shared papersMLMorteza Lahijanian1 shared papersKCKenton C.T. Lee1 shared papersDJDaniel J. Brooks1 shared papers
Not generated yet