Concepedia

Kevin Leahy

KL

Statistics

Publications

11

Citations

321

H-Index

10

Active since

2015

Affiliations

Boston University(Current)

MIT Lincoln Laboratory

Massachusetts Institute of Technology

Lehigh University

Stanford University

Kevin Leahy is an author at Boston University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceIntelligent SystemsSystems EngineeringAutomationRobot LearningAutomated ReasoningArtificial IntelligenceRoboticsField Robotics

Publications per year

2015–2023

11

Publications

11

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints

Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile et al. · Autonomous Robots · 2015 · 63 citations

Engineering, Aerial Robotics, Aerospace Engineering +12

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)

Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile et al. · IEEE Transactions on Robotics · 2021 · 57 citations

Artificial Intelligence, Engineering, Task-based Coordination +25

Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints

Derya Aksaray, Kevin Leahy, Călin Belta · IFAC-PapersOnLine · 2015 · 42 citations · Full text

Artificial Intelligence, Optimal Agent Trajectories, Engineering +15

Control in belief space with Temporal Logic specifications

Cristian-Ioan Vasile, Kevin Leahy, Eric Cristofalo et al. · 2016 · 32 citations

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

Kevin Leahy, Austin Jones, Cristian-Ioan Vasile · IEEE Robotics and Automation Letters · 2022 · 30 citations · Full text

1–5 of 11