Kevin Leahy

Orcid: 0000-0001-5894-7190

Affiliations:
  • Massachusetts Institute of Technology Lincoln Laboratory, Lexington, MA, USA
  • Boston University, MA, USA (former)


According to our database1, Kevin Leahy authored at least 35 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Graph Q-Learning for Combinatorial Optimization.
CoRR, 2024

2023
Differential privacy for symbolic systems with application to Markov Chains.
Autom., June, 2023

Differentially Private LQ Control.
IEEE Trans. Autom. Control., February, 2023

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.
CoRR, 2023

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.
CoRR, 2023

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.
CoRR, 2023

Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Rewrite-Based Decomposition of Signal Temporal Logic Specifications.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications.
Proceedings of the Learning for Dynamics and Control Conference, 2023

STL: Surprisingly Tricky Logic (for System Validation).
IROS, 2023

Temporal Logic Swarm Control with Splitting and Merging.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Robust Multi-Agent Coordination from CaTL+ Specifications.
Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
Proceedings of the American Control Conference, 2023

2022
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).
IEEE Trans. Robotics, 2022

Verification of Autonomous Systems [TC Spotlight].
IEEE Robotics Autom. Mag., 2022

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
IEEE Robotics Autom. Lett., 2022

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 2022

Knowledge-Integrated Informed AI for National Security.
CoRR, 2022

Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2019
Tracking a Markov Target in a Discrete Environment With Multiple Sensors.
IEEE Trans. Autom. Control., 2019

Control in belief space with temporal logic specifications using vision-based localization.
Int. J. Robotics Res., 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
Proceedings of the Robotics Research, 2019

Towards Differential Privacy for Symbolic Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Distributed Sensing Subject to Temporal Logic Constraints.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Privacy in Feedback: The Differentially Private LQG.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Informative path planning under temporal logic constraints with performance guarantees.
Proceedings of the 2017 American Control Conference, 2017

Semi-supervised pattern synthesis in spatially distributed dynamical systems.
Proceedings of the 2017 American Control Conference, 2017

2016
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.
Proceedings of the International Symposium on Experimental Robotics, 2016

Always choose second best: Tracking a moving target on a graph with a noisy binary sensor.
Proceedings of the 15th European Control Conference, 2016

Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Integration of deterministic inference with formal synthesis for control under uncertainty.
Proceedings of the 2016 American Control Conference, 2016

2015
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Distributed information gathering policies under temporal logic constraints.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014


  Loading...