OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Kevin Leahy
Assistant Professor, Robotics Engineering, Worcester Polytechnic Institute
Joined
September 2022
Names
Kevin Leahy
(Preferred)
,
Kevin J Leahy
,
Kevin J. Leahy
Emails
****@ll.mit.edu
(Confirmed)
,
****@wpi.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
Career & Education History
Assistant Professor
Robotics Engineering,
Worcester Polytechnic Institute
(wpi.edu)
2023
–
Present
Researcher
Artificial Intelligence,
MIT Lincoln Laboratory, Massachusetts Institute of Technology
(ll.mit.edu)
2017
–
2023
PhD student
Mechanical Engineering,
Boston University, Boston University
(bu.edu)
2012
–
2017
Advisors, Relations & Conflicts
No relations added
Expertise
Formal methods
,
robotics
,
multi-robot systems
,
learning from specifications
,
safety-critical systems
,
optimization
,
planning
,
control
Present
Publications
Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
Taylor Bergeron
,
Zachary Serlin
,
Kevin Leahy
Submitted to ICLR 2026
Readers:
Everyone
Run-Time Task Composition with Safety Semantics
Kevin Leahy
,
Makai Mann
,
Zachary Serlin
ICML 2024 Poster
Readers:
Everyone
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
Max H. Cohen
,
Makai Mann
,
Kevin Leahy
,
Calin Belta
ACC 2024
Readers:
Everyone
Temporal Logic Planning via Zero-Shot Policy Composition
Taylor Bergeron
,
Zachary Serlin
,
Kevin Leahy
CoRR 2024
Readers:
Everyone
Run-Time Task Composition with Safety Semantics
Kevin Leahy
,
Makai Mann
,
Zachary Serlin
ICML 2024
Readers:
Everyone
Graph Q-Learning for Combinatorial Optimization
Victoria Magdalena Dax
,
Jiachen Li
,
Kevin Leahy
,
Mykel J. Kochenderfer
CoRR 2024
Readers:
Everyone
Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
Kevin Leahy
,
Ho Chit Siu
CoRR 2024
Readers:
Everyone
Differential privacy for symbolic systems with application to Markov Chains
Bo Chen
,
Kevin Leahy
,
Austin Jones
,
Matthew T. Hale
Autom. 2023
Readers:
Everyone
Differentially Private LQ Control
Kasra Yazdani
,
Austin Jones
,
Kevin Leahy
,
Matthew T. Hale
IEEE Trans. Autom. Control. 2023
Readers:
Everyone
View all 51 publications
Co-Authors
Adam Jardine
Alexandra Forsey-Smerek
Andrew Schoer
Anu K. Myne
Austin Jones
Austin M. Jones
Bo Chen
Calin Belta
Cristian Ioan Vasile
Cristian-Ioan Vasile
Dejanira Araiza-Illan
Derya Aksaray
Dingjiang Zhou
Eduardo Montijano
Eric Cristofalo
Gustavo A. Cardona
Hasan Ferit Eniser
Herbert G. Tanner
Ho Chit Siu
Iman Haghighi
Ivana Cerná
Jeffrey Heinz
Jiachen Li
Joanna Isabelle Olszewska
Kasra Yazdani
View all 50 co-authors