Follow
Kevin Leahy
Title
Cited by
Cited by
Year
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints
K Leahy, D Zhou, CI Vasile, K Oikonomopoulos, M Schwager, C Belta
Autonomous Robots 40, 1363-1378, 2016
682016
Scalable and robust algorithms for task-based coordination from high-level specifications (scratches)
K Leahy, Z Serlin, CI Vasile, A Schoer, AM Jones, R Tron, C Belta
IEEE Transactions on Robotics 38 (4), 2516-2535, 2021
512021
Distributed multi-agent persistent surveillance under temporal logic constraints
D Aksaray, K Leahy, C Belta
IFAC-PapersOnLine 48 (22), 174-179, 2015
502015
Economic analysis of bevacizumab, cetuximab, and panitumumab with fluoropyrimidine-based chemotherapy in the first-line treatment of KRAS wild-type metastatic colorectal cancer …
D Lawrence, M Maschio, KJ Leahy, S Yunger, JC Easaw, MC Weinstein
Journal of medical economics 16 (12), 1387-1398, 2013
492013
Control in belief space with temporal logic specifications
CI Vasile, K Leahy, E Cristofalo, A Jones, M Schwager, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 7419-7424, 2016
402016
Provably correct persistent surveillance for unmanned aerial vehicles subject to charging constraints
K Leahy, D Zhou, CI Vasile, K Oikonomopoulos, M Schwager, C Belta
Experimental Robotics: The 14th International Symposium on Experimental …, 2016
402016
Temporal logic motion planning using POMDPs with parity objectives: Case study paper
M Svoreňová, M Chmelík, K Leahy, HF Eniser, K Chatterjee, I Černá, ...
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
372015
Privacy in feedback: The differentially private LQG
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
342018
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
IEEE Transactions on Automatic Control 68 (2), 1061-1068, 2022
322022
Distributed information gathering policies under temporal logic constraints
K Leahy, A Jones, M Schwager, C Belta
2015 54th IEEE Conference on Decision and Control (CDC), 6803-6808, 2015
312015
Fast decomposition of temporal logic specifications for heterogeneous teams
K Leahy, A Jones, CI Vasile
IEEE Robotics and Automation Letters 7 (2), 2297-2304, 2022
252022
Scalable and robust deployment of heterogenenous teams from temporal logic specifications
AM Jones, K Leahy, CI Vasile, S Sadradinni, Z Serlin, R Tron, C Belta
International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019
24*2019
Differential privacy for symbolic systems with application to Markov Chains
B Chen, K Leahy, A Jones, M Hale
Automatica 152, 110908, 2023
212023
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
212019
Control in belief space with temporal logic specifications using vision-based localization
K Leahy, E Cristofalo, CI Vasile, A Jones, E Montijano, M Schwager, ...
The International Journal of Robotics Research 38 (6), 702-722, 2019
212019
Cost effectiveness of targeted high-dose atorvastatin therapy following genotype testing in patients with acute coronary syndrome
A Parthan, KJ Leahy, AK O’Sullivan, OA Iakoubova, LA Bare, JJ Devlin, ...
Pharmacoeconomics 31, 519-531, 2013
192013
Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach
MH Cohen, Z Serlin, K Leahy, C Belta
Nonlinear Analysis: Hybrid Systems 47, 101295, 2023
162023
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
arXiv preprint arXiv:1807.05082, 2018
132018
Cost effectiveness of a gene expression score and myocardial perfusion imaging for diagnosis of coronary artery disease
CE Phelps, AK O’Sullivan, JA Ladapo, MC Weinstein, K Leahy, ...
American heart journal 167 (5), 697-706. e2, 2014
132014
Robust multi-agent coordination from catl+ specifications
W Liu, K Leahy, Z Serlin, C Belta
2023 American Control Conference (ACC), 3529-3534, 2023
122023
The system can't perform the operation now. Try again later.
Articles 1–20