Sydney Michelle Katz
Cited by
Cited by
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
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
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
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
Preference-based learning of reward function features
SM Katz, A Maleki, E Bıyık, MJ Kochenderfer
arXiv preprint arXiv:2103.02727, 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
Generating probabilistic safety guarantees for neural network controllers
SM Katz, KD Julian, CA Strong, MJ Kochenderfer
Machine Learning 112 (8), 2903-2931, 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
Nasa uli aircraft taxi dataset
SM Katz, A Corso, S Chinchali, A Elhafsi, A Sharma, M Pavone, ...
2021, stanford Research Data, 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
Representative Small UAS Trajectories for Encounter Modeling
AJ Weinert, M Edwards, L Alvarez, S Michelle Katz
AIAA Scitech 2020 Forum, 0741, 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
Verifying inverse model neural networks
C Sidrane, S Katz, A Corso, MJ Kochenderfer
arXiv preprint arXiv:2202.02429, 2022
Collision avoidance for Urban Air Mobility vehicles using Markov decision processes
SM Katz
Stanford University Project Report: Physical Sciences, 2019
Efficient Determination of Safety Requirements for Perception Systems
SM Katz, AL Corso, E Yel, MJ Kochenderfer
arXiv preprint arXiv:2307.01371, 2023
AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator
EQ Smyers, SM Katz, AL Corso, MJ Kochenderfer
arXiv preprint arXiv:2306.11203, 2023
Safe Machine Learning-Based Perception Via Closed-Loop Analysis
SM Katz
Stanford University, 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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20