| 2024 | ICML | Run-Time Task Composition with Safety Semantics. | Kevin Leahy, Makai Mann, Zachary Serlin |
| 2023 | ICRA | Temporal Logic Swarm Control with Splitting and Merging. | Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile |
| 2023 | IROS | STL: Surprisingly Tricky Logic (for System Validation). | Ho Chit Siu, Kevin Leahy, Makai Mann |
| 2019 | ISRR | ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. | Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta |
| 2018 | IROS | Distributed Sensing Subject to Temporal Logic Constraints. | Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta |
| 2016 | ICMLA | Using Domain Knowledge Features for Wind Turbine Diagnostics. | R. Lily Hu, Kevin Leahy, Ioannis C. Konstantakopoulos, David M. Auslander, Costas J. Spanos, Alice M. Agogino |
| 2014 | ETFA | Implementing the Green Batch: A case study: Continuous statistical evaluation to achieve the most energy efficient and reliable process. | Kevin Leahy, Ken Bruton, Dominic O'Sullivan |