Papers
21
Total Citations
507
H-Index
12
About
No biography available yet.
Research Focus
Computer science21 · 507 citations
Robot21 · 507 citations
Artificial intelligence21 · 507 citations
Motion planning14 · 390 citations
Mathematics11 · 322 citations
Theoretical computer science7 · 276 citations
Trajectory8 · 270 citations
Motion (physics)5 · 262 citations
Linear temporal logic5 · 242 citations
Solver4 · 207 citations
Modulo2 · 175 citations
Mobile robot10 · 166 citations
Key Achievements
12
H-Index
21
Papers
507
Total Citations
24
Avg Citations/Paper
🏆 Most Cited Paper
Automated composition of motion primitives for multi-robot systems from safe LTL specifications
127 citations · 2014
📈 Most Prolific Year: 2018 (4 Papers)
🤝 Key Collaborators: 28
🏛 Institutions: University of Pennsylvania, Indian Institute of Technology Kanpur
Top Papers
- 1
- 2DRONA73 citations · 2017
- 3
- 4Implan: scalable incremental motion planning for multi-robot systems33 citations · 2016
- 5Scalable lazy SMT-based motion planning32 citations · 2016
- 6Implan: Scalable Incremental Motion Planning for Multi-Robot Systems32 citations · 2016
- 7Antlab26 citations · 2017
- 8Energy-Aware Temporal Logic Motion Planning for Mobile Robots22 citations · 2019
- 9
- 10MT*: Multi-Robot Path Planning for Temporal Logic Specifications19 citations · 2022
Key Collaborators
SASanjit A. Seshia6 shared papersGJGeorge J. Pappas5 shared papersTKTanmoy Kundu4 shared papersDGDhaval Gujarathi3 shared papersRRRattanachai Ramaithitima3 shared papersRMRupak Majumdar3 shared papersVKVijay Kumar3 shared papersYSYasser Shoukry3 shared papersAAAakash Aakash2 shared papersDKDanish Khalidi2 shared papersASAlberto Sangiovanni‐Vincentelli2 shared papersPTPaulo Tabuada2 shared papersSDSankar Das2 shared papersPNPierluigi Nuzzo2 shared papersABAyça Balkan1 shared papersSKSwarup Kumar Mohalik1 shared papersGFGeorgios Fainekos1 shared papersSNSwaprava Nath1 shared papersIGIvan Gavran1 shared papersRMRatijit Mitra1 shared papers
Not generated yet