Scholar
Kevin Leahy
Google Scholar ID: pjiUykUAAAAJ
Worcester Polytechnic Institute
Robotics
Formal Methods
Multi-Agent Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
655
H-index
16
i10-index
22
Publications
20
Co-authors
25
list available
Publications
8 items
Entropy-Gated Belief Coordination for Decentralized Multi-Agent Search Under Intermittent Communication
2026
Cited
0
LOCUS: Landmark-Oriented Container Discrimination Using Spatial Graphs
2026
Cited
0
Robustness-Based Synthesis for Time Window Temporal Logic Specifications via Mixed-Integer Linear Programming
2026
Cited
0
Conflict-Aware Switching for CBF-CLF-Based Multi-Goal Navigation
2026
Cited
0
Robust Multi-Agent Target Tracking in Intermittent Communication Environments via Analytical Belief Merging
2026
Cited
0
Complex-Valued GNNs for Distributed Basis-Invariant Control of Planar Systems
2026
Cited
0
Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
2026
Cited
0
Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
2025
Cited
0
Co-authors
11 total
Calin Belta
Brendan Iribe Endowed Professor, University of Maryland
Zachary Serlin
MIT Lincoln Laboratory
Mac Schwager
Stanford University
Roberto Tron
Associate Professor - Boston University
Eric Cristofalo
MIT Lincoln laboratory
Derya Aksaray
Assistant Professor, Northeastern University
Michael Fisher
Professor of Computer Science, University of Manchester
Eduardo Montijano
Universidad de Zaragoza, Spain
