Kevin Leahy

MIT Lincoln Laboratory, Boston University

Papers

10

Total Citations

159

H-Index

7

About

No biography available yet.

Research Focus

Computer science10 · 159 citations
Artificial intelligence8 · 119 citations
Robot7 · 112 citations
Distributed computing4 · 92 citations
Algorithm3 · 73 citations
Robustness (evolution)2 · 68 citations
Temporal logic4 · 62 citations
Computation1 · 58 citations
Integer programming1 · 58 citations
Execution time1 · 58 citations
Linear programming1 · 58 citations
Scalability1 · 58 citations

Key Achievements

7
H-Index
10
Papers
159
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
58 citations · 2021
📈 Most Prolific Year: 2021 (2 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: MIT Lincoln Laboratory, Boston University

Top Papers

  1. 1
    Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
    58 citations · 2021
  2. 2
    Control in belief space with Temporal Logic specifications
    32 citations · 2016
  3. 3
    Control in belief space with temporal logic specifications using vision-based localization
    16 citations · 2019
  4. 4
    Distributed information gathering policies under temporal logic constraints
    16 citations · 2015
  5. 5
    Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
    10 citations · 2021
  6. 6
    Distributed Sensing Subject to Temporal Logic Constraints
    8 citations · 2018
  7. 7
    Temporal Logic Swarm Control with Splitting and Merging
    7 citations · 2023
  8. 8
    Informative path planning under temporal logic constraints with performance guarantees
    6 citations · 2017
  9. 9
    Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints
    4 citations · 2017
  10. 10
    Verification of Autonomous Systems [TC Spotlight]
    2 citations · 2022

Key Collaborators

CBCălin Belta7 shared papersCVCristian-Ioan Vasile6 shared papersMSMac Schwager4 shared papersAJAustin Jones4 shared papersECEric Cristofalo3 shared papersZSZachary Serlin3 shared papersRTRoberto Tron2 shared papersEMEduardo Montijano2 shared papersDADerya Aksaray1 shared papersASAndrew Schoer1 shared papersDADejanira Araiza-Illan1 shared papersMCMingyu Cai1 shared papersJIJoanna Isabelle Olszewska1 shared papersMFMichael Fisher1 shared papersSRSigne Redfield1 shared papersGAGustavo A. Cardona1 shared papers
Not generated yet