Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (ISER, 2014)

Distributed information gathering policies under temporal logic constraints. - Kevin Leahy 001; Austin Jones; Mac Schwager; Calin Belta (CDC, 2015)

Temporal logic motion planning using POMDPs with parity objectives: case study paper. - María Svorenová; Martin Chmelik; Kevin Leahy 001; Hasan Ferit Eniser; Krishnendu Chatterjee; Ivana Cerná; Calin Belta (HSCC, 2015)

Integration of deterministic inference with formal synthesis for control under uncertainty. - Kevin J. Leahy; Prasanna Kannappan; Adam Jardine; Herbert G. Tanner; Jeffrey Heinz; Calin Belta (ACC, 2016)

Control in belief space with Temporal Logic specifications. - Cristian Ioan Vasile; Kevin Leahy 001; Eric Cristofalo; Austin Jones; Mac Schwager; Calin Belta (CDC, 2016)

Always choose second best: Tracking a moving target on a graph with a noisy binary sensor. - Kevin Leahy 001; Mac Schwager (ECC, 2016)

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. - Eric Cristofalo; Kevin Leahy 001; Cristian Ioan Vasile; Eduardo Montijano; Mac Schwager; Calin Belta (ISER, 2016)

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (Auton. Robots, 2016)

Semi-supervised pattern synthesis in spatially distributed dynamical systems. - Iman Haghighi; Kevin Leahy 001; Rachael Ivison; Calin Belta (ACC, 2017)

Informative path planning under temporal logic constraints with performance guarantees. - Kevin J. Leahy; Derya Aksaray; Calin Belta (ACC, 2017)

Privacy in Feedback: The Differentially Private LQG. - Matthew T. Hale; Austin Jones; Kevin Leahy 001 (ACC, 2018)

Distributed Sensing Subject to Temporal Logic Constraints. - Zachary T. Serlin; Kevin Leahy 001; Roberto Tron; Calin Belta (IROS, 2018)

Towards Differential Privacy for Symbolic Systems. - Austin Jones; Kevin Leahy 001; Matthew T. Hale (ACC, 2019)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Control in belief space with temporal logic specifications using vision-based localization. - Kevin Leahy 001; Eric Cristofalo; Cristian Ioan Vasile; Austin Jones; Eduardo Montijano; Mac Schwager; Calin Belta (Int. J. Robotics Res., 2019)

Tracking a Markov Target in a Discrete Environment With Multiple Sensors. - Kevin Leahy 001; Mac Schwager (IEEE Trans. Autom. Control., 2019)

Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. - Nathan Vaska; Kevin Leahy 001; Victoria Helus (CASE, 2022)

Knowledge-Integrated Informed AI for National Security. - Anu K. Myne; Kevin J. Leahy; Ryan J. Soklaski (CoRR, 2022)

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. - Mingyu Cai; Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. - Kevin Leahy 001; Austin Jones; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Verification of Autonomous Systems [TC Spotlight]. - Dejanira Araiza-Illan; Michael Fisher 001; Kevin Leahy 001; Joanna Isabelle Olszewska; Signe A. Redfield (IEEE Robotics Autom. Mag., 2022)

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). - Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile; Andrew Schoer; Austin M. Jones; Roberto Tron; Calin Belta (IEEE Trans. Robotics, 2022)

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. - Mingyu Cai; Makai Mann; Zachary Serlin; Kevin Leahy 001; Cristian-Ioan Vasile (ACC, 2023)

Robust Multi-Agent Coordination from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (ACC, 2023)

Temporal Logic Swarm Control with Splitting and Merging. - Gustavo A. Cardona; Kevin Leahy 001; Cristian-Ioan Vasile (ICRA, 2023)

STL: Surprisingly Tricky Logic (for System Validation). - Ho Chit Siu; Kevin Leahy 001; Makai Mann (IROS, 2023)

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (L4DC, 2023)

Rewrite-Based Decomposition of Signal Temporal Logic Specifications. - Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (NFM, 2023)

Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. - Alexandra Forsey-Smerek; Ho Chit Siu; Kevin Leahy 001 (NFM, 2023)

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. - Kevin Leahy 001; Makai Mann; Zachary Serlin (CoRR, 2023)

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. - Gustavo A. Cardona; Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (CoRR, 2023)

Differentially Private LQ Control. - Kasra Yazdani; Austin Jones; Kevin Leahy 001; Matthew T. Hale (IEEE Trans. Autom. Control., 2023)

Differential privacy for symbolic systems with application to Markov Chains. - Bo Chen; Kevin Leahy 001; Austin Jones; Matthew Hale 001 (Autom., 2023)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. - Max H. Cohen; Makai Mann; Kevin Leahy 001; Calin Belta (ACC, 2024)

Run-Time Task Composition with Safety Semantics. - Kevin Leahy 001; Makai Mann; Zachary Serlin (ICML, 2024)

Graph Q-Learning for Combinatorial Optimization. - Victoria Magdalena Dax; Jiachen Li 001; Kevin Leahy 001; Mykel J. Kochenderfer (CoRR, 2024)

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots. - Kevin Leahy 001; Ho Chit Siu (CoRR, 2024)

Temporal Logic Planning via Zero-Shot Policy Composition. - Taylor Bergeron; Zachary Serlin; Kevin Leahy 001 (CoRR, 2024)

Grand Challenges in the Verification of Autonomous Systems. - Kevin Leahy 001; Hamid Asgari; Louise A. Dennis; Martin S. Feather; Michael Fisher 001; Javier Ibañez-Guzmán; Brian Logan 001; Joanna I. Olszewska; Signe A. Redfield (CoRR, 2024)

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints. - Jeel Chatrola; Abhiroop Ajith; Kevin Leahy 001; Constantinos Chamzas (HSCC, 2025)

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