Kevin Leahy
Kevin Leahy
Unknown affiliation
Verified email at bu.edu
Title
Cited by
Cited by
Year
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
352013
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
292016
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
252015
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
222016
Distributed multi-agent persistent surveillance under temporal logic constraints
D Aksaray, K Leahy, C Belta
IFAC-PapersOnLine 48 (22), 174-179, 2015
212015
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
192015
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
172016
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
122013
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
112014
Privacy in feedback: The differentially private lqg
M Hale, A Jones, K Leahy
2018 Annual American Control Conference (ACC), 3386-3391, 2018
102018
Towards differential privacy for symbolic systems
A Jones, K Leahy, M Hale
2019 American Control Conference (ACC), 372-377, 2019
72019
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
72016
Differentially private LQ control
K Yazdani, A Jones, K Leahy, M Hale
arXiv preprint arXiv:1807.05082, 2018
62018
Informative path planning under temporal logic constraints with performance guarantees
KJ Leahy, D Aksaray, C Belta
2017 American Control Conference (ACC), 1859-1865, 2017
52017
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
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
32018
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
32016
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
12019
Semi-supervised pattern synthesis in spatially distributed dynamical systems
I Haghighi, K Leahy, R Ivison, C Belta
2017 American Control Conference (ACC), 2530-2535, 2017
12017
PCN131 REPRESENTING UNCERTAINTY IN CALIBRATED CANCER TREATMENT MODELS: A PRACTICAL APPROACH
DC Taylor, KJ Leahy, M Weinstein
Value in Health 14 (3), A178-A179, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20