论文数
21
总引用数
507
H-Index
12
关于
暂无简介。
研究焦点
Computer science21 · 507 次引用
Robot21 · 507 次引用
Artificial intelligence21 · 507 次引用
Motion planning14 · 390 次引用
Mathematics11 · 322 次引用
Theoretical computer science7 · 276 次引用
Trajectory8 · 270 次引用
Motion (physics)5 · 262 次引用
Linear temporal logic5 · 242 次引用
Solver4 · 207 次引用
Modulo2 · 175 次引用
Mobile robot10 · 166 次引用
主要成就
12
H 指数
21
论文
507
总引用数
24
篇均引用
🏆 最高被引论文
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
127 次引用 · 2014
📈 最高产年份: 2018 (4 论文)
🤝 主要合作者: 28
🏛 所属机构: University of Pennsylvania, Indian Institute of Technology Kanpur
代表论文
- 1
- 2DRONA73 次引用 · 2017
- 3
- 4
- 5Scalable lazy SMT-based motion planning32 次引用 · 2016
- 6
- 7Antlab26 次引用 · 2017
- 8
- 9
- 10
主要合作者
SASanjit A. Seshia6 篇合著论文GJGeorge J. Pappas5 篇合著论文TKTanmoy Kundu4 篇合著论文DGDhaval Gujarathi3 篇合著论文RRRattanachai Ramaithitima3 篇合著论文RMRupak Majumdar3 篇合著论文VKVijay Kumar3 篇合著论文YSYasser Shoukry3 篇合著论文AAAakash Aakash2 篇合著论文DKDanish Khalidi2 篇合著论文ASAlberto Sangiovanni‐Vincentelli2 篇合著论文PTPaulo Tabuada2 篇合著论文SDSankar Das2 篇合著论文PNPierluigi Nuzzo2 篇合著论文ABAyça Balkan1 篇合著论文SKSwarup Kumar Mohalik1 篇合著论文GFGeorgios Fainekos1 篇合著论文SNSwaprava Nath1 篇合著论文IGIvan Gavran1 篇合著论文RMRatijit Mitra1 篇合著论文
尚未生成