Follow
Kevin Leahy
Kevin Leahy
MIT Lincoln Laboratory
Verified email at ll.mit.edu
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 (8), 1363-1378, 2016
512016
Distributed multi-agent persistent surveillance under temporal logic constraints
D Aksaray, K Leahy, C Belta
IFAC-PapersOnLine 48 (22), 174-179, 2015
402015
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
402013
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
342015
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
322016
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, 605-619, 2016
312016
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
282015
Privacy in feedback: The differentially private lqg
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
242018
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 (6), 519-531, 2013
162013
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
IEEE Transactions on Automatic Control, 2022
132022
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
132019
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
12*2019
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
122019
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
122014
Always choose second best: Tracking a moving target on a graph with a noisy binary sensor
K Leahy, M Schwager
2016 European Control Conference (ECC), 1715-1721, 2016
82016
Informative path planning under temporal logic constraints with performance guarantees
KJ Leahy, D Aksaray, C Belta
2017 American Control Conference (ACC), 1859-1865, 2017
72017
Distributed sensing subject to temporal logic constraints
Z Serlin, K Leahy, R Tron, C Belta
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
62018
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
52022
Localization of a ground robot by aerial robots for GPS-deprived control with temporal logic constraints
E Cristofalo, K Leahy, CI Vasile, E Montijano, M Schwager, C Belta
International Symposium on Experimental Robotics, 525-537, 2016
42016
Integration of deterministic inference with formal synthesis for control under uncertainty
KJ Leahy, P Kannappan, A Jardine, H Tanner, J Heinz, C Belta
2016 American Control Conference (ACC), 4829-4834, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20