Keliang He

Rice University, Swarthmore College

论文数

5

总引用数

210

H-Index

5

关于

暂无简介。

研究焦点

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

主要成就

5
H 指数
5
论文
210
总引用数
42
篇均引用
🏆 最高被引论文
Towards manipulation planning with temporal logic specifications
94 次引用 · 2015
📈 最高产年份: 2015 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Rice University, Swarthmore College

代表论文

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

主要合作者

LELydia E. Kavraki4 篇合著论文MYMoshe Y. Vardi4 篇合著论文MLMorteza Lahijanian3 篇合著论文AMAndrew M. Wells1 篇合著论文EMElizabeth Martin1 篇合著论文MZMatt Zucker1 篇合著论文
尚未生成