Keliang He

Rice University, Swarthmore College

Papers

5

Total Citations

210

H-Index

5

About

No biography available yet.

Research Focus

Robot5 · 210 citations
Computer science5 · 210 citations
Artificial intelligence5 · 210 citations
Engineering3 · 151 citations
Task (project management)3 · 151 citations
Systems engineering2 · 132 citations
Temporal logic2 · 132 citations
Programming language2 · 113 citations
Abstraction2 · 113 citations
Mobile robot3 · 97 citations
Distributed computing3 · 97 citations
Theoretical computer science3 · 97 citations

Key Achievements

5
H-Index
5
Papers
210
Total Citations
42
Avg Citations/Paper
🏆 Most Cited Paper
Towards manipulation planning with temporal logic specifications
94 citations · 2015
📈 Most Prolific Year: 2015 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Rice University, Swarthmore College

Top Papers

  1. 1
    Towards manipulation planning with temporal logic specifications
    94 citations · 2015
  2. 2
    Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks
    40 citations · 2019
  3. 3
    Reactive synthesis for finite tasks under resource constraints
    38 citations · 2017
  4. 4
    Multigrid CHOMP with Local Smoothing
    19 citations · 2013
  5. 5
    Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis
    19 citations · 2018

Key Collaborators

LELydia E. Kavraki4 shared papersMYMoshe Y. Vardi4 shared papersMLMorteza Lahijanian3 shared papersAMAndrew M. Wells1 shared papersEMElizabeth Martin1 shared papersMZMatt Zucker1 shared papers
Not generated yet