default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Kevin Leahy"
download as .bib file
@inproceedings{DBLP:conf/amcc/CohenMLB24,
author = {Max H. Cohen and
Makai Mann and
Kevin Leahy and
Calin Belta},
title = {Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical
Control},
booktitle = {{ACC}},
pages = {3885--3890},
publisher = {{IEEE}},
year = {2024}
}
@inproceedings{DBLP:conf/icml/0001MS24,
author = {Kevin Leahy and
Makai Mann and
Zachary Serlin},
title = {Run-Time Task Composition with Safety Semantics},
booktitle = {{ICML}},
publisher = {OpenReview.net},
year = {2024}
}
@article{DBLP:journals/corr/abs-2401-05610,
author = {Victoria Magdalena Dax and
Jiachen Li and
Kevin Leahy and
Mykel J. Kochenderfer},
title = {Graph Q-Learning for Combinatorial Optimization},
journal = {CoRR},
volume = {abs/2401.05610},
year = {2024}
}
@article{DBLP:journals/corr/abs-2403-14344,
author = {Kevin Leahy and
Ho Chit Siu},
title = {Tell Me What You Want (What You Really, Really Want): Addressing the
Expectation Gap for Goal Conveyance from Humans to Robots},
journal = {CoRR},
volume = {abs/2403.14344},
year = {2024}
}
@article{DBLP:journals/corr/abs-2408-04215,
author = {Taylor Bergeron and
Zachary Serlin and
Kevin Leahy},
title = {Temporal Logic Planning via Zero-Shot Policy Composition},
journal = {CoRR},
volume = {abs/2408.04215},
year = {2024}
}
@article{DBLP:journals/automatica/ChenLJH23,
author = {Bo Chen and
Kevin Leahy and
Austin Jones and
Matthew T. Hale},
title = {Differential privacy for symbolic systems with application to Markov
Chains},
journal = {Autom.},
volume = {152},
pages = {110908},
year = {2023}
}
@article{DBLP:journals/tac/YazdaniJLH23,
author = {Kasra Yazdani and
Austin Jones and
Kevin Leahy and
Matthew T. Hale},
title = {Differentially Private {LQ} Control},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {2},
pages = {1061--1068},
year = {2023}
}
@inproceedings{DBLP:conf/amcc/CaiMS0V23,
author = {Mingyu Cai and
Makai Mann and
Zachary Serlin and
Kevin Leahy and
Cristian{-}Ioan Vasile},
title = {Learning Minimally-Violating Continuous Control for Infeasible Linear
Temporal Logic Specifications},
booktitle = {{ACC}},
pages = {1446--1452},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/amcc/Liu0SB23,
author = {Wenliang Liu and
Kevin Leahy and
Zachary Serlin and
Calin Belta},
title = {Robust Multi-Agent Coordination from CaTL+ Specifications},
booktitle = {{ACC}},
pages = {3529--3534},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/icra/CardonaLV23,
author = {Gustavo A. Cardona and
Kevin Leahy and
Cristian{-}Ioan Vasile},
title = {Temporal Logic Swarm Control with Splitting and Merging},
booktitle = {{ICRA}},
pages = {12423--12429},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/iros/Siu0M23,
author = {Ho Chit Siu and
Kevin Leahy and
Makai Mann},
title = {{STL:} Surprisingly Tricky Logic (for System Validation)},
booktitle = {{IROS}},
pages = {8613--8620},
year = {2023}
}
@inproceedings{DBLP:conf/l4dc/Liu0SB23,
author = {Wenliang Liu and
Kevin Leahy and
Zachary Serlin and
Calin Belta},
title = {CatlNet: Learning Communication and Coordination Policies from CaTL+
Specifications},
booktitle = {{L4DC}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {705--717},
publisher = {{PMLR}},
year = {2023}
}
@inproceedings{DBLP:conf/nfm/0001MV23,
author = {Kevin Leahy and
Makai Mann and
Cristian{-}Ioan Vasile},
title = {Rewrite-Based Decomposition of Signal Temporal Logic Specifications},
booktitle = {{NFM}},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {224--240},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/nfm/Forsey-SmerekS023,
author = {Alexandra Forsey{-}Smerek and
Ho Chit Siu and
Kevin Leahy},
title = {Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer
Quadratic Programming},
booktitle = {{NFM}},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {191--206},
publisher = {Springer},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-01901,
author = {Max H. Cohen and
Makai Mann and
Kevin Leahy and
Calin Belta},
title = {Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical
Control},
journal = {CoRR},
volume = {abs/2304.01901},
year = {2023}
}
@article{DBLP:journals/corr/abs-2305-17258,
author = {Ho Chit Siu and
Kevin Leahy and
Makai Mann},
title = {{STL:} Surprisingly Tricky Logic (for System Validation)},
journal = {CoRR},
volume = {abs/2305.17258},
year = {2023}
}
@article{DBLP:journals/corr/abs-2306-17033,
author = {Kevin Leahy and
Makai Mann and
Zachary Serlin},
title = {Safety-Aware Task Composition for Discrete and Continuous Reinforcement
Learning},
journal = {CoRR},
volume = {abs/2306.17033},
year = {2023}
}
@article{DBLP:journals/corr/abs-2310-08714,
author = {Gustavo A. Cardona and
Kevin Leahy and
Makai Mann and
Cristian{-}Ioan Vasile},
title = {A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo},
journal = {CoRR},
volume = {abs/2310.08714},
year = {2023}
}
@article{DBLP:journals/ral/CaiLSV22,
author = {Mingyu Cai and
Kevin Leahy and
Zachary Serlin and
Cristian{-}Ioan Vasile},
title = {Probabilistic Coordination of Heterogeneous Teams From Capability
Temporal Logic Specifications},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {2},
pages = {1190--1197},
year = {2022}
}
@article{DBLP:journals/ral/LeahyJV22,
author = {Kevin Leahy and
Austin Jones and
Cristian{-}Ioan Vasile},
title = {Fast Decomposition of Temporal Logic Specifications for Heterogeneous
Teams},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {2},
pages = {2297--2304},
year = {2022}
}
@article{DBLP:journals/ram/Araiza-IllanFLO22,
author = {Dejanira Araiza{-}Illan and
Michael Fisher and
Kevin Leahy and
Joanna Isabelle Olszewska and
Signe A. Redfield},
title = {Verification of Autonomous Systems {[TC} Spotlight]},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {29},
number = {1},
pages = {99--101},
year = {2022}
}
@article{DBLP:journals/trob/LeahySVSJTB22,
author = {Kevin Leahy and
Zachary Serlin and
Cristian{-}Ioan Vasile and
Andrew Schoer and
Austin M. Jones and
Roberto Tron and
Calin Belta},
title = {Scalable and Robust Algorithms for Task-Based Coordination From High-Level
Specifications (ScRATCHeS)},
journal = {{IEEE} Trans. Robotics},
volume = {38},
number = {4},
pages = {2516--2535},
year = {2022}
}
@inproceedings{DBLP:conf/case/VaskaLH22,
author = {Nathan Vaska and
Kevin Leahy and
Victoria Helus},
title = {Context-Dependent Anomaly Detection with Knowledge Graph Embedding
Models},
booktitle = {{CASE}},
pages = {2020--2027},
publisher = {{IEEE}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2202-03188,
author = {Anu K. Myne and
Kevin J. Leahy and
Ryan J. Soklaski},
title = {Knowledge-Integrated Informed {AI} for National Security},
journal = {CoRR},
volume = {abs/2202.03188},
year = {2022}
}
@article{DBLP:journals/corr/abs-2202-03325,
author = {Bo Chen and
Kevin Leahy and
Austin Jones and
Matthew T. Hale},
title = {Differential Privacy for Symbolic Systems with Application to Markov
Chains},
journal = {CoRR},
volume = {abs/2202.03325},
year = {2022}
}
@article{DBLP:journals/corr/abs-2203-09354,
author = {Nathan Vaska and
Kevin Leahy and
Victoria Helus},
title = {Context-Dependent Anomaly Detection with Knowledge Graph Embedding
Models},
journal = {CoRR},
volume = {abs/2203.09354},
year = {2022}
}
@article{DBLP:journals/corr/abs-2210-01162,
author = {Mingyu Cai and
Makai Mann and
Zachary Serlin and
Kevin Leahy and
Cristian{-}Ioan Vasile},
title = {Learning Minimally-Violating Continuous Control for Infeasible Linear
Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/2210.01162},
year = {2022}
}
@article{DBLP:journals/corr/abs-2210-01732,
author = {Wenliang Liu and
Kevin Leahy and
Zachary Serlin and
Calin Belta},
title = {Robust Multi-Agent Coordination from CaTL+ Specifications},
journal = {CoRR},
volume = {abs/2210.01732},
year = {2022}
}
@article{DBLP:journals/corr/abs-2212-11792,
author = {Wenliang Liu and
Kevin Leahy and
Zachary Serlin and
Calin Belta},
title = {CatlNet: Learning Communication and Coordination Policies from CaTL+
Specifications},
journal = {CoRR},
volume = {abs/2212.11792},
year = {2022}
}
@article{DBLP:journals/corr/abs-2010-00030,
author = {Kevin Leahy and
Austin Jones and
Cristian Ioan Vasile},
title = {Fast Decomposition of Temporal Logic Specifications for Heterogeneous
Teams},
journal = {CoRR},
volume = {abs/2010.00030},
year = {2020}
}
@article{DBLP:journals/cii/ODonovanGLO19,
author = {Peter O'Donovan and
Colm V. Gallagher and
Kevin Leahy and
Dominic T. J. O'Sullivan},
title = {A comparison of fog and cloud computing cyber-physical interfaces
for Industry 4.0 real-time embedded machine learning engineering applications},
journal = {Comput. Ind.},
volume = {110},
pages = {12--35},
year = {2019}
}
@article{DBLP:journals/ijrr/LeahyCVJMSB19,
author = {Kevin Leahy and
Eric Cristofalo and
Cristian Ioan Vasile and
Austin Jones and
Eduardo Montijano and
Mac Schwager and
Calin Belta},
title = {Control in belief space with temporal logic specifications using vision-based
localization},
journal = {Int. J. Robotics Res.},
volume = {38},
number = {6},
year = {2019}
}
@article{DBLP:journals/tac/LeahyS19,
author = {Kevin Leahy and
Mac Schwager},
title = {Tracking a Markov Target in a Discrete Environment With Multiple Sensors},
journal = {{IEEE} Trans. Autom. Control.},
volume = {64},
number = {6},
pages = {2396--2411},
year = {2019}
}
@inproceedings{DBLP:conf/amcc/Jones0H19,
author = {Austin Jones and
Kevin Leahy and
Matthew T. Hale},
title = {Towards Differential Privacy for Symbolic Systems},
booktitle = {{ACC}},
pages = {372--377},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/isrr/Jones0VSSTB19,
author = {Austin M. Jones and
Kevin Leahy and
Cristian Ioan Vasile and
Sadra Sadraddini and
Zachary Serlin and
Roberto Tron and
Calin Belta},
title = {ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination
from High-Level Specifications},
booktitle = {{ISRR}},
series = {Springer Proceedings in Advanced Robotics},
volume = {20},
pages = {224--241},
publisher = {Springer},
year = {2019}
}
@phdthesis{DBLP:phd/basesearch/Leahy18,
author = {Kevin Leahy},
title = {Data analytics for fault prediction and diagnosis in wind turbines},
school = {University College Cork, Republic of Ireland},
year = {2018}
}
@inproceedings{DBLP:conf/amcc/HaleJ018,
author = {Matthew T. Hale and
Austin Jones and
Kevin Leahy},
title = {Privacy in Feedback: The Differentially Private {LQG}},
booktitle = {{ACC}},
pages = {3386--3391},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/iros/SerlinLTB18,
author = {Zachary T. Serlin and
Kevin Leahy and
Roberto Tron and
Calin Belta},
title = {Distributed Sensing Subject to Temporal Logic Constraints},
booktitle = {{IROS}},
pages = {4862--4868},
publisher = {{IEEE}},
year = {2018}
}
@article{DBLP:journals/corr/abs-1801-08175,
author = {Colm V. Gallagher and
Kevin Leahy and
Peter O'Donovan and
Ken Bruton and
Dominic T. J. O'Sullivan},
title = {Development and application of a machine learning supported methodology
for measurement and verification (M{\&}V) 2.0},
journal = {CoRR},
volume = {abs/1801.08175},
year = {2018}
}
@article{DBLP:journals/corr/abs-1807-05082,
author = {Kasra Yazdani and
Austin Jones and
Kevin Leahy and
Matthew T. Hale},
title = {Differentially Private {LQ} Control},
journal = {CoRR},
volume = {abs/1807.05082},
year = {2018}
}
@article{DBLP:journals/corr/abs-1809-08634,
author = {Austin Jones and
Kevin Leahy and
Matthew T. Hale},
title = {Towards Differential Privacy for Symbolic Systems},
journal = {CoRR},
volume = {abs/1809.08634},
year = {2018}
}
@inproceedings{DBLP:conf/amcc/Haghighi0IB17,
author = {Iman Haghighi and
Kevin Leahy and
Rachael Ivison and
Calin Belta},
title = {Semi-supervised pattern synthesis in spatially distributed dynamical
systems},
booktitle = {{ACC}},
pages = {2530--2535},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/amcc/LeahyAB17,
author = {Kevin J. Leahy and
Derya Aksaray and
Calin Belta},
title = {Informative path planning under temporal logic constraints with performance
guarantees},
booktitle = {{ACC}},
pages = {1859--1865},
publisher = {{IEEE}},
year = {2017}
}
@article{DBLP:journals/arobots/0001ZVOSB16,
author = {Kevin Leahy and
Dingjiang Zhou and
Cristian Ioan Vasile and
Konstantinos Oikonomopoulos and
Mac Schwager and
Calin Belta},
title = {Persistent surveillance for unmanned aerial vehicles subject to charging
and temporal logic constraints},
journal = {Auton. Robots},
volume = {40},
number = {8},
pages = {1363--1378},
year = {2016}
}
@inproceedings{DBLP:conf/amcc/LeahyKJTHB16,
author = {Kevin J. Leahy and
Prasanna Kannappan and
Adam Jardine and
Herbert G. Tanner and
Jeffrey Heinz and
Calin Belta},
title = {Integration of deterministic inference with formal synthesis for control
under uncertainty},
booktitle = {{ACC}},
pages = {4829--4834},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/cdc/Vasile0CJSB16,
author = {Cristian Ioan Vasile and
Kevin Leahy and
Eric Cristofalo and
Austin Jones and
Mac Schwager and
Calin Belta},
title = {Control in belief space with Temporal Logic specifications},
booktitle = {{CDC}},
pages = {7419--7424},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/eucc/0001S16,
author = {Kevin Leahy and
Mac Schwager},
title = {Always choose second best: Tracking a moving target on a graph with
a noisy binary sensor},
booktitle = {{ECC}},
pages = {1715--1721},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/icmla/HuLKASA16,
author = {R. Lily Hu and
Kevin Leahy and
Ioannis C. Konstantakopoulos and
David M. Auslander and
Costas J. Spanos and
Alice M. Agogino},
title = {Using Domain Knowledge Features for Wind Turbine Diagnostics},
booktitle = {{ICMLA}},
pages = {300--307},
publisher = {{IEEE} Computer Society},
year = {2016}
}
@inproceedings{DBLP:conf/icphm/LeahyHKSA16,
author = {Kevin Leahy and
R. Lily Hu and
Ioannis C. Konstantakopoulos and
Costas J. Spanos and
Alice M. Agogino},
title = {Diagnosing wind turbine faults using machine learning techniques applied
to operational data},
booktitle = {{ICPHM}},
pages = {1--8},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/iser/Cristofalo0VMSB16,
author = {Eric Cristofalo and
Kevin Leahy and
Cristian Ioan Vasile and
Eduardo Montijano and
Mac Schwager and
Calin Belta},
title = {Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control
with Temporal Logic Constraints},
booktitle = {{ISER}},
series = {Springer Proceedings in Advanced Robotics},
volume = {1},
pages = {525--537},
publisher = {Springer},
year = {2016}
}
@article{DBLP:journals/jbd/ODonovan0BO15,
author = {Peter O'Donovan and
Kevin Leahy and
Ken Bruton and
Dominic T. J. O'Sullivan},
title = {Big data in manufacturing: a systematic mapping study},
journal = {J. Big Data},
volume = {2},
pages = {20},
year = {2015}
}
@article{DBLP:journals/jbd/ODonovan0BO15a,
author = {Peter O'Donovan and
Kevin Leahy and
Ken Bruton and
Dominic T. J. O'Sullivan},
title = {An industrial big data pipeline for data-driven analytics maintenance
applications in large-scale smart manufacturing facilities},
journal = {J. Big Data},
volume = {2},
pages = {25},
year = {2015}
}
@inproceedings{DBLP:conf/cdc/LeahyJSB15,
author = {Kevin Leahy and
Austin Jones and
Mac Schwager and
Calin Belta},
title = {Distributed information gathering policies under temporal logic constraints},
booktitle = {{CDC}},
pages = {6803--6808},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/hybrid/SvorenovaCLECCB15,
author = {Mar{\'{\i}}a Svorenov{\'{a}} and
Martin Chmelik and
Kevin Leahy and
Hasan Ferit Eniser and
Krishnendu Chatterjee and
Ivana Cern{\'{a}} and
Calin Belta},
title = {Temporal logic motion planning using POMDPs with parity objectives:
case study paper},
booktitle = {{HSCC}},
pages = {233--238},
publisher = {{ACM}},
year = {2015}
}
@inproceedings{DBLP:conf/etfa/LeahyBO14,
author = {Kevin Leahy and
Ken Bruton and
Dominic O'Sullivan},
title = {Implementing the Green Batch: {A} case study: Continuous statistical
evaluation to achieve the most energy efficient and reliable process},
booktitle = {{ETFA}},
pages = {1--4},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/iser/LeahyZVOSB14,
author = {Kevin Leahy and
Dingjiang Zhou and
Cristian Ioan Vasile and
Konstantinos Oikonomopoulos and
Mac Schwager and
Calin Belta},
title = {Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles
Subject to Charging Constraints},
booktitle = {{ISER}},
series = {Springer Tracts in Advanced Robotics},
volume = {109},
pages = {605--619},
publisher = {Springer},
year = {2014}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-09 21:29 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
