| Verification of image-based neural network controllers using generative models SM Katz, AL Corso, CA Strong, MJ Kochenderfer Journal of Aerospace Information Systems 19 (9), 574-584, 2022 | 57 | 2022 |
| Learning an urban air mobility encounter model from expert preferences SM Katz, AC Le Bihan, MJ Kochenderfer 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-8, 2019 | 23 | 2019 |
| Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems N Rober, SM Katz, C Sidrane, E Yel, M Everett, MJ Kochenderfer, JP How IEEE Open Journal of Control Systems 2, 108-124, 2023 | 22 | 2023 |
| Synthesis and characterization of Fe (III)-Fe (II)-Mg-Al smectite solid solutions and implications for planetary science VK Fox, RJ Kupper, BL Ehlmann, JG Catalano, J Razzell-Hollis, ... American Mineralogist 106 (6), 964-982, 2021 | 22 | 2021 |
| Preference-based learning of reward function features SM Katz, A Maleki, E Bıyık, MJ Kochenderfer arXiv preprint arXiv:2103.02727, 2021 | 13 | 2021 |
| Generating probabilistic safety guarantees for neural network controllers SM Katz, KD Julian, CA Strong, MJ Kochenderfer Machine Learning 112 (8), 2903-2931, 2023 | 11 | 2023 |
| Collision risk and operational impact of speed change advisories as aircraft collision avoidance maneuvers SM Katz, LE Alvarez, M Owen, S Wu, MW Brittain, A Das, ... AIAA AVIATION 2022 Forum, 3824, 2022 | 9 | 2022 |
| NASA ULI aircraft taxi dataset SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ... 2021, stanford Research Data, 2021 | 8 | 2021 |
| Risk-driven design of perception systems A Corso, S Katz, C Innes, X Du, S Ramamoorthy, MJ Kochenderfer Advances in Neural Information Processing Systems 35, 9894-9906, 2022 | 7 | 2022 |
| Enabling deep space exploration with an in-space propellant depot supplied from lunar ice S Casanova, J Henry de Frahan, V Guimaraes Goecks, S Herath, ... AIAA SPACE and Astronautics Forum and Exposition, 5376, 2017 | 7 | 2017 |
| Representative Small UAS Trajectories for Encounter Modeling AJ Weinert, M Edwards, L Alvarez, S Michelle Katz AIAA Scitech 2020 Forum, 0741, 2020 | 5 | 2020 |
| ZoPE: a fast optimizer for ReLU networks with low-dimensional inputs CA Strong, SM Katz, AL Corso, MJ Kochenderfer NASA Formal Methods Symposium, 299-317, 2022 | 3 | 2022 |
| AVOIDDS: aircraft vision-based intruder detection dataset and simulator E Smyers, S Katz, A Corso, MJ Kochenderfer Advances in Neural Information Processing Systems 36, 2024 | 2 | 2024 |
| Verifying inverse model neural networks C Sidrane, S Katz, A Corso, MJ Kochenderfer arXiv preprint arXiv:2202.02429, 2022 | 2 | 2022 |
| Efficient Determination of Safety Requirements for Perception Systems SM Katz, AL Corso, E Yel, MJ Kochenderfer 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
| Collision avoidance for Urban Air Mobility vehicles using Markov decision processes SM Katz Stanford University Project Report: Physical Sciences, 2019 | 1 | 2019 |
| Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features R Valentin, SM Katz, J Lee, D Walker, M Sorgenfrei, MJ Kochenderfer 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 01-09, 2024 | | 2024 |
| Verifying flight system calibration and performing automated navigation actions SM Katz, MT Nehrenz, P Sengupta US Patent App. 18/369,713, 2024 | | 2024 |
| Safe Machine Learning-Based Perception Via Closed-Loop Analysis SM Katz Stanford University, 2023 | | 2023 |
| Characterization of Synthetic Fe (III)-Fe (II)-Al-Mg Smectites VK Fox, RJ Kupper, BL Ehlmann, JG Catalano, RD Nickerson, SM Katz, ... 50th Annual Lunar and Planetary Science Conference, 2850, 2019 | | 2019 |
