| Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021 | 466 | 2021 |
| T cell receptor repertoires of mice and humans are clustered in similarity networks around conserved public CDR3 sequences A Madi, A Poran, E Shifrut, S Reich-Zeliger, E Greenstein, I Zaretsky, ... Elife 6, e22057, 2017 | 154 | 2017 |
| Molecular constraints on CDR3 for thymic selection of MHC-restricted TCRs from a random pre-selection repertoire J Lu, F Van Laethem, A Bhattacharya, M Craveiro, I Saba, J Chu, NC Love, ... Nature communications 10 (1), 1019, 2019 | 75 | 2019 |
| Dynamic routing of aircraft in the presence of adverse weather using a POMDP framework E Balaban, I Roychoudhury, L Spirkovska, S Sankararaman, CS Kulkarni, ... 17th AIAA aviation technology, integration, and operations conference, 3429, 2017 | 16 | 2017 |
| Algorithms for verifying deep neural networks. Found. Trends Optim. 4 (3–4), 244–404 (2021) C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer | 10 | |
| Algorithms for Verifying Deep Neural Networks. CoRR abs/1903.06758 (2019) C Liu, T Arnon, C Lazarus, CW Barrett, MJ Kochenderfer arXiv preprint arXiv:1903.06758, 2019 | 5 | 2019 |
| Neuralverification. jl: algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, MJ Kochenderfer ICLR 2019 Debugging Machine Learning Models Workshop, 2019 | 4 | 2019 |
| A system health aware POMDP framework for planetary rover traverse evaluation and refinement E Balaban, T Arnon, MH Shirley, SF Brisson, A Gao 2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1150, 2018 | 4 | 2018 |
| T cell receptor repertoires of mice and humans are clustered in similarity networks around conserved public CDR3 sequences. eLife, 6, jul 2017 A Madi, A Poran, E Shifrut, S Reich-Zeliger, E Greenstein, I Zaretsky, ... ISSN, 0 | 3 | |
| Entropy-regularized Point-based Value Iteration H Delecki, M Vazquez-Chanlatte, E Yel, K Wray, T Arnon, S Witwicki, ... arXiv preprint arXiv:2402.09388, 2024 | | 2024 |
