![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Kevin Leahy"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.