Leahy, Kevin

4 publications

L4DC 2025 Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta

ICML 2024 Run-Time Task Composition with Safety Semantics Kevin Leahy, Makai Mann, Zachary Serlin

L4DC 2023 CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta

NeurIPSW 2022 Graph Q-Learning for Combinatorial Optimization Victoria Magdalena Dax, Jiachen Li, Kevin Leahy, Mykel Kochenderfer