Stop the war!Остановите войну!
for scientists:
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/icml/0001MS24,
author = {Kevin Leahy and
Makai Mann and
Zachary Serlin},
title = {Run-Time Task Composition with Safety Semantics},
booktitle = {Forty-first International Conference on Machine Learning, {ICML} 2024,
Vienna, Austria, July 21-27, 2024},
publisher = {OpenReview.net},
year = {2024},
url = {https://openreview.net/forum?id=E4ItiEU8Iu},
timestamp = {Mon, 02 Sep 2024 16:45:29 +0200},
biburl = {https://dblp.org/rec/conf/icml/0001MS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2401.05610},
doi = {10.48550/ARXIV.2401.05610},
eprinttype = {arXiv},
eprint = {2401.05610},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-05610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2403.14344},
doi = {10.48550/ARXIV.2403.14344},
eprinttype = {arXiv},
eprint = {2403.14344},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-14344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.automatica.2023.110908},
doi = {10.1016/J.AUTOMATICA.2023.110908},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/ChenLJH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/TAC.2022.3148710},
doi = {10.1109/TAC.2022.3148710},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tac/YazdaniJLH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {1446--1452},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10156544},
doi = {10.23919/ACC55779.2023.10156544},
timestamp = {Tue, 11 Jul 2023 16:44:02 +0200},
biburl = {https://dblp.org/rec/conf/amcc/CaiMS0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {American Control Conference, {ACC} 2023, San Diego, CA, USA, May 31
- June 2, 2023},
pages = {3529--3534},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/ACC55779.2023.10156237},
doi = {10.23919/ACC55779.2023.10156237},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Liu0SB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {12423--12429},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10160335},
doi = {10.1109/ICRA48891.2023.10160335},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/CardonaLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/IROS55552.2023.10342290},
doi = {10.1109/IROS55552.2023.10342290},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/Siu0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/Liu0SB23,
author = {Wenliang Liu and
Kevin Leahy and
Zachary Serlin and
Calin Belta},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {CatlNet: Learning Communication and Coordination Policies from CaTL+
Specifications},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {705--717},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/liu23a.html},
timestamp = {Fri, 16 Jun 2023 14:48:17 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/Liu0SB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/0001MV23,
author = {Kevin Leahy and
Makai Mann and
Cristian{-}Ioan Vasile},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Rewrite-Based Decomposition of Signal Temporal Logic Specifications},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {224--240},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_14},
doi = {10.1007/978-3-031-33170-1\_14},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/0001MV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Forsey-SmerekS023,
author = {Alexandra Forsey{-}Smerek and
Ho Chit Siu and
Kevin Leahy},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer
Quadratic Programming},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {191--206},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_12},
doi = {10.1007/978-3-031-33170-1\_12},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Forsey-SmerekS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2304.01901},
doi = {10.48550/ARXIV.2304.01901},
eprinttype = {arXiv},
eprint = {2304.01901},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-01901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2305.17258},
doi = {10.48550/ARXIV.2305.17258},
eprinttype = {arXiv},
eprint = {2305.17258},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-17258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2306.17033},
doi = {10.48550/ARXIV.2306.17033},
eprinttype = {arXiv},
eprint = {2306.17033},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-17033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2310.08714},
doi = {10.48550/ARXIV.2310.08714},
eprinttype = {arXiv},
eprint = {2310.08714},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-08714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/LRA.2021.3138766},
doi = {10.1109/LRA.2021.3138766},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ral/CaiLSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/LRA.2022.3143304},
doi = {10.1109/LRA.2022.3143304},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/LeahyJV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/MRA.2022.3143966},
doi = {10.1109/MRA.2022.3143966},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ram/Araiza-IllanFLO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/TRO.2021.3130794},
doi = {10.1109/TRO.2021.3130794},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/LeahySVSJTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {18th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2022, Mexico City, Mexico, August 20-24, 2022},
pages = {2020--2027},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CASE49997.2022.9926631},
doi = {10.1109/CASE49997.2022.9926631},
timestamp = {Fri, 11 Nov 2022 16:58:33 +0100},
biburl = {https://dblp.org/rec/conf/case/VaskaLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2202.03188},
eprinttype = {arXiv},
eprint = {2202.03188},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2202.03325},
eprinttype = {arXiv},
eprint = {2202.03325},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2203.09354},
doi = {10.48550/ARXIV.2203.09354},
eprinttype = {arXiv},
eprint = {2203.09354},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2210.01162},
doi = {10.48550/ARXIV.2210.01162},
eprinttype = {arXiv},
eprint = {2210.01162},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-01162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2210.01732},
doi = {10.48550/ARXIV.2210.01732},
eprinttype = {arXiv},
eprint = {2210.01732},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-01732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.48550/arXiv.2212.11792},
doi = {10.48550/ARXIV.2212.11792},
eprinttype = {arXiv},
eprint = {2212.11792},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-11792.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://arxiv.org/abs/2010.00030},
eprinttype = {arXiv},
eprint = {2010.00030},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1016/j.compind.2019.04.016},
doi = {10.1016/J.COMPIND.2019.04.016},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cii/ODonovanGLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1177/0278364919846340},
doi = {10.1177/0278364919846340},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/LeahyCVJMSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1109/TAC.2018.2857760},
doi = {10.1109/TAC.2018.2857760},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/LeahyS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/Jones0H19,
author = {Austin Jones and
Kevin Leahy and
Matthew T. Hale},
title = {Towards Differential Privacy for Symbolic Systems},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {372--377},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814723},
doi = {10.23919/ACC.2019.8814723},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/Jones0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Tamim Asfour and
Eiichi Yoshida and
Jaeheung Park and
Henrik Christensen and
Oussama Khatib},
title = {ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination
from High-Level Specifications},
booktitle = {Robotics Research - The 19th International Symposium {ISRR} 2019,
Hanoi, Vietnam, October 6-10, 2019},
series = {Springer Proceedings in Advanced Robotics},
volume = {20},
pages = {224--241},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-95459-8\_14},
doi = {10.1007/978-3-030-95459-8\_14},
timestamp = {Thu, 17 Mar 2022 12:01:47 +0100},
biburl = {https://dblp.org/rec/conf/isrr/Jones0VSSTB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://hdl.handle.net/10468/7375},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Leahy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/HaleJ018,
author = {Matthew T. Hale and
Austin Jones and
Kevin Leahy},
title = {Privacy in Feedback: The Differentially Private {LQG}},
booktitle = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
USA, June 27-29, 2018},
pages = {3386--3391},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/ACC.2018.8431397},
doi = {10.23919/ACC.2018.8431397},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/HaleJ018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2018 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2018, Madrid, Spain, October 1-5, 2018},
pages = {4862--4868},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IROS.2018.8593574},
doi = {10.1109/IROS.2018.8593574},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/SerlinLTB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1801.08175},
eprinttype = {arXiv},
eprint = {1801.08175},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1807.05082},
eprinttype = {arXiv},
eprint = {1807.05082},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {http://arxiv.org/abs/1809.08634},
eprinttype = {arXiv},
eprint = {1809.08634},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-08634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {2530--2535},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963333},
doi = {10.23919/ACC.2017.7963333},
timestamp = {Fri, 03 Dec 2021 13:04:31 +0100},
biburl = {https://dblp.org/rec/conf/amcc/Haghighi0IB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
24-26, 2017},
pages = {1859--1865},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/ACC.2017.7963223},
doi = {10.23919/ACC.2017.7963223},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/LeahyAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1007/s10514-015-9519-z},
doi = {10.1007/S10514-015-9519-Z},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arobots/0001ZVOSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
6-8, 2016},
pages = {4829--4834},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ACC.2016.7526117},
doi = {10.1109/ACC.2016.7526117},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/LeahyKJTHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
NV, USA, December 12-14, 2016},
pages = {7419--7424},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CDC.2016.7799415},
doi = {10.1109/CDC.2016.7799415},
timestamp = {Fri, 04 Mar 2022 13:29:43 +0100},
biburl = {https://dblp.org/rec/conf/cdc/Vasile0CJSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
29 - July 1, 2016},
pages = {1715--1721},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ECC.2016.7810538},
doi = {10.1109/ECC.2016.7810538},
timestamp = {Tue, 01 Jun 2021 15:22:59 +0200},
biburl = {https://dblp.org/rec/conf/eucc/0001S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {15th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2016, Anaheim, CA, USA, December 18-20, 2016},
pages = {300--307},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICMLA.2016.0056},
doi = {10.1109/ICMLA.2016.0056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/HuLKASA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {{IEEE} International Conference on Prognostics and Health Management,
{ICPHM} 2016, Ottawa, ON, Canada, June 20-22, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICPHM.2016.7542860},
doi = {10.1109/ICPHM.2016.7542860},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icphm/LeahyHKSA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/Cristofalo0VMSB16,
author = {Eric Cristofalo and
Kevin Leahy and
Cristian Ioan Vasile and
Eduardo Montijano and
Mac Schwager and
Calin Belta},
editor = {Dana Kulic and
Yoshihiko Nakamura and
Oussama Khatib and
Gentiane Venture},
title = {Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control
with Temporal Logic Constraints},
booktitle = {International Symposium on Experimental Robotics, {ISER} 2016, Tokyo,
Japan, October 3-6, 2016},
series = {Springer Proceedings in Advanced Robotics},
volume = {1},
pages = {525--537},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50115-4\_46},
doi = {10.1007/978-3-319-50115-4\_46},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iser/Cristofalo0VMSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1186/s40537-015-0028-x},
doi = {10.1186/S40537-015-0028-X},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbd/ODonovan0BO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
url = {https://doi.org/10.1186/s40537-015-0034-z},
doi = {10.1186/S40537-015-0034-Z},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbd/ODonovan0BO15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6803--6808},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403291},
doi = {10.1109/CDC.2015.7403291},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/LeahyJSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Temporal logic motion planning using POMDPs with parity objectives:
case study paper},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {233--238},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728617},
doi = {10.1145/2728606.2728617},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/SvorenovaCLECCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/LeahyBO14,
author = {Kevin Leahy and
Ken Bruton and
Dominic O'Sullivan},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Implementing the Green Batch: {A} case study: Continuous statistical
evaluation to achieve the most energy efficient and reliable process},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005313},
doi = {10.1109/ETFA.2014.7005313},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/LeahyBO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/LeahyZVOSB14,
author = {Kevin Leahy and
Dingjiang Zhou and
Cristian Ioan Vasile and
Konstantinos Oikonomopoulos and
Mac Schwager and
Calin Belta},
editor = {M. Ani Hsieh and
Oussama Khatib and
Vijay Kumar},
title = {Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles
Subject to Charging Constraints},
booktitle = {Experimental Robotics - The 14th International Symposium on Experimental
Robotics, {ISER} 2014, June 15-18, 2014, Marrakech and Essaouira,
Morocco},
series = {Springer Tracts in Advanced Robotics},
volume = {109},
pages = {605--619},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-23778-7\_40},
doi = {10.1007/978-3-319-23778-7\_40},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iser/LeahyZVOSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-09-06 16:50 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:
