| 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 | 148 | 2020 |
| Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems KL Hobbs, ML Mote, MCL Abate, SD Coogan, EM Feron IEEE Control Systems Magazine 43 (2), 28-65, 2023 | 59 | 2023 |
| Run time assured reinforcement learning for safe satellite docking K Dunlap, M Mote, K Delsing, KL Hobbs Journal of Aerospace Information Systems 20 (1), 25-36, 2023 | 45 | 2023 |
| Safe reinforcement learning benchmark environments for aerospace control systems UJ Ravaioli, J Cunningham, J McCarroll, V Gangal, K Dunlap, KL Hobbs 2022 IEEE Aerospace Conference (AERO), 1-20, 2022 | 38 | 2022 |
| Natural motion-based trajectories for automatic spacecraft collision avoidance during proximity operations ML Mote, CW Hays, A Collins, E Feron, KL Hobbs 2021 IEEE Aerospace Conference (50100), 1-12, 2021 | 30 | 2021 |
| Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control KH Gross, MA Clark, JA Hoffman, ED Swenson, AW Fifarek Journal of Aerospace Information Systems 14 (4), 232-246, 2017 | 27 | 2017 |
| Comparing run time assurance approaches for safe spacecraft docking K Dunlap, M Hibbard, M Mote, K Hobbs IEEE Control Systems Letters 6, 1849-1854, 2021 | 25 | 2021 |
| Challenge problem: Assured satellite proximity operations CD Petersen, S Phillips, KL Hobbs, K Lang 31st AAS/AIAA Space Flight Mechanics Meeting 176, 2021 | 25 | 2021 |
| Space trusted autonomy readiness levels KL Hobbs, JB Lyons, MS Feather, BP Bycroft, S Phillips, M Simon, ... 2023 IEEE Aerospace Conference, 1-17, 2023 | 22 | 2023 |
| Incremental formal methods based design approach demonstrated on a coupled tanks control system KH Gross, AW Fifarek, JA Hoffman 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016 | 22 | 2016 |
| Evaluation of neural network verification methods for air-to-air collision avoidance D Manzanas Lopez, TT Johnson, S Bak, HD Tran, KL Hobbs Journal of Air Transportation 31 (1), 1-17, 2023 | 18 | 2023 |
| Automatic ground collision avoidance system design for pre-block 40 f-16 configurations EM Griffin, RM Turner, SC Whitcomb, DE Swihart, JM Bier, KL Hobbs, ... Asia-Pacific international symposium on aerospace technology, 2012 | 18 | 2012 |
| Ablation study of how run time assurance impacts the training and performance of reinforcement learning agents N Hamilton, K Dunlap, TT Johnson, KL Hobbs 2023 IEEE 9th International Conference on Space Mission Challenges for …, 2023 | 17 | 2023 |
| Verification of neural network compression of ACAS Xu lookup tables with star set reachability D Manzanas Lopez, T Johnson, HD Tran, S Bak, X Chen, KL Hobbs AIAA Scitech 2021 Forum, 0995, 2021 | 16 | 2021 |
| Development of an automatic aircraft collision avoidance system for fighter aircraft J Wadley, S Jones, D Stoner, E Griffin, D Swihart, K Hobbs, A Burns, ... AIAA Infotech@ Aerospace (I@ A) Conference, 4727, 2013 | 15 | 2013 |
| Autonomy community of interest (coi) test and evaluation, verification and validation (tevv) working group: Technology investment strategy 2015-2018 M Clark, J Alley, PJ Deal, JC Depriest, E Hansen, C Heitmeyer, R Nameth, ... Office of the Assistant Secretary of Defense for Research and Engineering TR, 2015 | 14 | 2015 |
| Air force research laboratory test and evaluation, verification and validation of autonomous systems challenge exploration M Clark, K Kearns, J Overholt, K Gross, B Barthelemy, C Reed Air Force Research Lab, Wright-Patterson AFB, Tech. Rep, 2014 | 14 | 2014 |
| Automatic aircraft collision avoidance algorithm design for fighter aircraft R Turner, R Lehmann, J Wadley, D Kidd, D Swihart, J Bier, K Hobbs Asia-Pacific International Symposium on Aerospace Technology, 13-15, 2012 | 14 | 2012 |
| Formally verified run time assurance architecture of a 6U cubesat attitude control system KH Gross, M Clark, JA Hoffman, A Fifarek, K Rattan, E Swenson, ... AIAA Infotech@ Aerospace, 0222, 2016 | 13 | 2016 |
| A taxonomy for aerospace collision avoidance with implications for automation in space traffic management KL Hobbs, EM Feron AIAA Scitech 2020 Forum, 0877, 2020 | 12 | 2020 |
Kyle DunlapAir Force Research LaboratoryEmail được xác minh tại us.af.mil
