| 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 | 62 | 2016 |
| Distributed multi-agent persistent surveillance under temporal logic constraints D Aksaray, K Leahy, C Belta IFAC-PapersOnLine 48 (22), 174-179, 2015 | 47 | 2015 |
| 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 | 45 | 2013 |
| 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 | 39 | 2016 |
| 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 | 36 | 2016 |
| 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 | 35 | 2015 |
| Privacy in feedback: The differentially private LQG M Hale, A Jones, K Leahy 2018 Annual American Control Conference (ACC), 3386-3391, 2018 | 30 | 2018 |
| 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 | 29 | 2015 |
| 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 | 23 | 2021 |
| 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 | 20* | 2019 |
| 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 | 18 | 2013 |
| Towards differential privacy for symbolic systems A Jones, K Leahy, M Hale 2019 American Control Conference (ACC), 372-377, 2019 | 17 | 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 | 15 | 2019 |
| Differentially private LQ control K Yazdani, A Jones, K Leahy, M Hale arXiv preprint arXiv:1807.05082, 2018 | 12 | 2018 |
| 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 | 12 | 2014 |
| 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 | 11 | 2022 |
| Differentially private LQ control K Yazdani, A Jones, K Leahy, M Hale IEEE Transactions on Automatic Control 68 (2), 1061-1068, 2022 | 9 | 2022 |
| Differential privacy for symbolic systems with application to Markov Chains B Chen, K Leahy, A Jones, M Hale Automatica 152, 110908, 2023 | 8 | 2023 |
| 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 | 8 | 2018 |
| Informative path planning under temporal logic constraints with performance guarantees KJ Leahy, D Aksaray, C Belta 2017 American Control Conference (ACC), 1859-1865, 2017 | 8 | 2017 |
Calin BeltaProfessor, Boston UniversityVerified email at bu.edu
