| 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 | 31 | 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 | 18 | 2019 |
| 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: Journal of Earth and Planetary Materials 106 (6), 964-982, 2021 | 16 | 2021 |
| 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, 2023 | 9 | 2023 |
| Preference-based learning of reward function features SM Katz, A Maleki, E Bıyık, MJ Kochenderfer arXiv preprint arXiv:2103.02727, 2021 | 8 | 2021 |
| 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 | 8 | 2017 |
| Generating probabilistic safety guarantees for neural network controllers SM Katz, KD Julian, CA Strong, MJ Kochenderfer Machine Learning 112 (8), 2903-2931, 2023 | 6 | 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 | 6 | 2022 |
| Nasa uli aircraft taxi dataset SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ... 2021, stanford Research Data, 2021 | 6 | 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 | 5 | 2022 |
| 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 |
| Verifying inverse model neural networks C Sidrane, S Katz, A Corso, MJ Kochenderfer arXiv preprint arXiv:2202.02429, 2022 | 1 | 2022 |
| Collision avoidance for Urban Air Mobility vehicles using Markov decision processes SM Katz Stanford University Project Report: Physical Sciences, 2019 | 1 | 2019 |
| Efficient Determination of Safety Requirements for Perception Systems SM Katz, AL Corso, E Yel, MJ Kochenderfer arXiv preprint arXiv:2307.01371, 2023 | | 2023 |
| AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator EQ Smyers, SM Katz, AL Corso, MJ Kochenderfer arXiv preprint arXiv:2306.11203, 2023 | | 2023 |
| 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 |
| Spectral and Optical Properties of Oxidized Fe-Mg-Al Smectites VK Fox, BL Ehlmann, RJ Kupper, RD Nickerson, SM Katz, AA White 49th Annual Lunar and Planetary Science Conference, 1725, 2018 | | 2018 |
| Synthesis and Analysis of Synthetic Smectite Clays for Use as Spectral Standards SM Katz, RD Nickerson, BL Ehlmann, JG Catalano 47th Annual Lunar and Planetary Science Conference, 1683, 2016 | | 2016 |
