32 citations · 37 across the 11 of their papers we have counts for
14 papers
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Gustavo A. Cardona, Kevin Leahy, Makai Mann +1
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis…
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
Kevin Leahy, Makai Mann, Zachary Serlin
Compositionality is a critical aspect of scalable system design. Reinforcement learning (RL) has recently shown substantial success in task learning, but has only recently begun to…
STL: Surprisingly Tricky Logic (for System Validation)
Ho Chit Siu, Kevin Leahy, Makai Mann
Much of the recent work developing formal methods techniques to specify or learn the behavior of autonomous systems is predicated on a belief that formal specifications are interpr…
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
Max H. Cohen, Makai Mann, Kevin Leahy +1
In this paper, we present a framework for online parameter estimation and uncertainty quantification in the context of adaptive safety-critical control. The key insight enabling ou…
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
Wenliang Liu, Kevin Leahy, Zachary Serlin +1
In this paper, we propose a learning-based framework to simultaneously learn the communication and distributed control policies for a heterogeneous multi-agent system (MAS) under c…
Robust Multi-Agent Coordination from CaTL+ Specifications
Wenliang Liu, Kevin Leahy, Zachary Serlin +1
We consider the problem of controlling a heterogeneous multi-agent system required to satisfy temporal logic requirements. Capability Temporal Logic (CaTL) was recently proposed to…
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Mingyu Cai, Makai Mann, Zachary Serlin +2
This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-…
Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models
Nathan Vaska, Kevin Leahy, Victoria Helus
Increasing the semantic understanding and contextual awareness of machine learning models is important for improving robustness and reducing susceptibility to data shifts. In this…
Knowledge-Integrated Informed AI for National Security
Anu K. Myne, Kevin J. Leahy, Ryan J. Soklaski
The state of artificial intelligence technology has a rich history that dates back decades and includes two fall-outs before the explosive resurgence of today, which is credited la…
Differential Privacy for Symbolic Systems with Application to Markov Chains
Bo Chen, Kevin Leahy, Austin Jones +1
Data-driven systems are gathering increasing amounts of data from users, and sensitive user data requires privacy protections. In some cases, the data gathered is non-numerical or…
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
In this work, we focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved…
Towards Differential Privacy for Symbolic Systems
Austin Jones, Kevin Leahy, Matthew Hale
In this paper, we develop a privacy implementation for symbolic control systems. Such systems generate sequences of non-numerical data, and these sequences can be represented by wo…
Differentially Private LQ Control
Kasra Yazdani, Austin Jones, Kevin Leahy +1
As multi-agent systems proliferate and share more user data, new approaches are needed to protect sensitive data while still enabling system operation. To address this need, this p…
Privacy in Feedback: The Differentially Private LQG
Matthew Hale, Austin Jones, Kevin Leahy
Information communicated within cyber-physical systems (CPSs) is often used in determining the physical states of such systems, and malicious adversaries may intercept these commun…