Kevin Leahy

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 39

Top Topics

Mazurkiewicz Traces

Autonomous Systems

Top Venues

IEEE Robotics Autom. Lett.

Publications

Victoria Magdalena Dax, Jiachen Li, Kevin Leahy, Mykel J. Kochenderfer
Graph Q-Learning for Combinatorial Optimization. CoRR (2024)
Kevin Leahy, Ho Chit Siu
Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots. CoRR (2024)
Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR (2023)
Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
Differentially Private LQ Control. IEEE Trans. Autom. Control. 68 (2) (2023)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC (2023)
Kevin Leahy, Makai Mann, Zachary Serlin
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR (2023)
Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy
Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. NFM (2023)
Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. CoRR (2023)
Ho Chit Siu, Kevin Leahy, Makai Mann
STL: Surprisingly Tricky Logic (for System Validation). CoRR (2023)
Ho Chit Siu, Kevin Leahy, Makai Mann
STL: Surprisingly Tricky Logic (for System Validation). IROS (2023)
Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile
Temporal Logic Swarm Control with Splitting and Merging. ICRA (2023)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. ACC (2023)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC (2023)
Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM (2023)
Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale
Differential privacy for symbolic systems with application to Markov Chains. Autom. 152 (2023)
Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics 38 (4) (2022)
Nathan Vaska, Kevin Leahy, Victoria Helus
Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CASE (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR (2022)
Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR (2022)
Nathan Vaska, Kevin Leahy, Victoria Helus
Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CoRR (2022)
Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale
Differential Privacy for Symbolic Systems with Application to Markov Chains. CoRR (2022)
Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR (2022)
Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. 29 (1) (2022)
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. IEEE Robotics Autom. Lett. 7 (2) (2022)
Kevin Leahy, Austin Jones, Cristian Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. CoRR (2020)
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. 38 (6) (2019)
Austin Jones, Kevin Leahy, Matthew T. Hale
Towards Differential Privacy for Symbolic Systems. ACC (2019)
Kevin Leahy, Mac Schwager
Tracking a Markov Target in a Discrete Environment With Multiple Sensors. IEEE Trans. Autom. Control. 64 (6) (2019)
Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR (2019)
Austin Jones, Kevin Leahy, Matthew T. Hale
Towards Differential Privacy for Symbolic Systems. CoRR (2018)
Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta
Distributed Sensing Subject to Temporal Logic Constraints. IROS (2018)
Matthew T. Hale, Austin Jones, Kevin Leahy
Privacy in Feedback: The Differentially Private LQG. ACC (2018)
Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
Differentially Private LQ Control. CoRR (2018)
Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta
Semi-supervised pattern synthesis in spatially distributed dynamical systems. ACC (2017)
Eric Cristofalo, Kevin Leahy, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta
Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. ISER (2016)
Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
Control in belief space with Temporal Logic specifications. CDC (2016)
Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. Auton. Robots 40 (8) (2016)
Kevin Leahy, Mac Schwager
Always choose second best: Tracking a moving target on a graph with a noisy binary sensor. ECC (2016)
Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta
Distributed information gathering policies under temporal logic constraints. CDC (2015)
María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC (2015)
Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. ISER (2014)