Sydney Michelle Katz
Postdoctoral Scholar, Aeronautics and Astronautics
2025-26 Courses
- Validation of Safety Critical Systems
AA 228V, CS 238V (Win) -
Prior Year Courses
2024-25 Courses
- Validation of Safety Critical Systems
AA 228V, CS 238V (Win)
- Validation of Safety Critical Systems
All Publications
-
Probabilistic parameter estimators and calibration metrics for pose estimation from image features
Digital Avionics Systems Conference (DASC)
2024
View details for DOI 10.1109/DASC62030.2024.10748707
-
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