Sydney Michelle Katz
Postdoctoral Scholar, Aeronautics and Astronautics
All Publications
-
Backward reachability analysis of neural feedback loops: {T}echniques for linear and nonlinear systems
IEEE Open Journal of Control Systems
2023; 2: 108-124
View details for DOI 10.1109/ojcsys.2023.3265901
-
Generating probabilistic safety guarantees for neural network controllers
MACHINE LEARNING
2021
View details for DOI 10.1007/s10994-021-06065-9
View details for Web of Science ID 000708772600002
-
Synthesis and characterization of Fe(III)-Fe(II)-Mg-Al smectite solid solutions and implications for planetary science
AMERICAN MINERALOGIST
2021; 106 (6): 964-982
View details for DOI 10.2138/am-2020-7419
View details for Web of Science ID 000673958300011
-
Verification of image-based neural network controllers using generative model
Digital Avionics Systems Conference (DASC)
2021
View details for DOI 10.1109/DASC52595.2021.9594360
-
Learning an Urban Air Mobility Encounter Model from Expert Preferences
IEEE. 2019
View details for Web of Science ID 000588253200038