Output reachable set estimation and verification for multilayer neural networks W Xiang, HD Tran, TT Johnson IEEE transactions on neural networks and learning systems 29 (11), 5777-5783, 2018 | 335 | 2018 |
NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems HD Tran, X Yang, D Manzanas Lopez, P Musau, LV Nguyen, W Xiang, ... International Conference on Computer Aided Verification, 3-17, 2020 | 255 | 2020 |
Experiments with underwater robot localization and tracking P Corke, C Detweiler, M Dunbabin, M Hamilton, D Rus, I Vasilescu Proceedings 2007 IEEE International Conference on Robotics and Automation …, 2007 | 207 | 2007 |
Autonomous aerial water sampling JP Ore, S Elbaum, A Burgin, C Detweiler Journal of Field Robotics 32 (8), 1095-1113, 2015 | 196 | 2015 |
On crop height estimation with UAVs D Anthony, S Elbaum, A Lorenz, C Detweiler 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014 | 195 | 2014 |
Star-based reachability analysis of deep neural networks HD Tran, D Manzanas Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 193 | 2019 |
AquaOptical: A lightweight device for high-rate long-range underwater point-to-point communication M Doniec, C Detweiler, I Vasilescu, M Chitre, M Hoffmann-Kuhnt, D Rus Marine Technology Society Journal 44 (4), 55-65, 2010 | 171 | 2010 |
Resonant wireless power transfer to ground sensors from a UAV B Griffin, C Detweiler 2012 IEEE international conference on robotics and automation, 2660-2665, 2012 | 160 | 2012 |
Optimization and control of cyber-physical vehicle systems JM Bradley, EM Atkins Sensors 15 (9), 23020-23049, 2015 | 146 | 2015 |
Verification of deep convolutional neural networks using imagestars HD Tran, S Bak, W Xiang, TT Johnson International conference on computer aided verification, 18-42, 2020 | 127 | 2020 |
Reachable set computation and safety verification for neural networks with relu activations W Xiang, HD Tran, TT Johnson arXiv preprint arXiv:1712.08163, 2017 | 125 | 2017 |
Aquanodes: an underwater sensor network I Vasilescu, C Detweiler, D Rus Proceedings of the 2nd Workshop on Underwater Networks, 85-88, 2007 | 121 | 2007 |
Safety verification of cyber-physical systems with reinforcement learning control HD Tran, F Cai, ML Diego, P Musau, TT Johnson, X Koutsoukos ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 120 | 2019 |
Improved geometric path enumeration for verifying relu neural networks S Bak, HD Tran, K Hobbs, TT Johnson Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 117 | 2020 |
Intercomparison of small unmanned aircraft system (sUAS) measurements for atmospheric science during the LAPSE-RATE campaign L Barbieri, ST Kral, SCC Bailey, AE Frazier, JD Jacob, J Reuder, D Brus, ... Sensors 19 (9), 2179, 2019 | 115 | 2019 |
Using optical communication for remote underwater robot operation M Doniec, C Detweiler, I Vasilescu, D Rus 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2010 | 98 | 2010 |
AMOUR V: A hovering energy efficient underwater robot capable of dynamic payloads I Vasilescu, C Detweiler, M Doniec, D Gurdan, S Sosnowski, J Stumpf, ... The International Journal of Robotics Research 29 (5), 547-570, 2010 | 89 | 2010 |
Reachable set estimation for neural network control systems: A simulation-guided approach W Xiang, HD Tran, X Yang, TT Johnson IEEE Transactions on Neural Networks and Learning Systems 32 (5), 1821-1830, 2020 | 86 | 2020 |
An ethical governor for constraining lethal action in an autonomous system RC Arkin, P Ulam, B Duncan | 86 | 2009 |
Reachable set estimation and safety verification for piecewise linear systems with neural network controllers W Xiang, HD Tran, JA Rosenfeld, TT Johnson 2018 Annual American Control Conference (ACC), 1574-1579, 2018 | 75 | 2018 |