Learning an Urban Air Mobility Encounter Model from Expert Preferences. - Sydney M. Katz; Anne-Claire Le Bihan; Mykel J. Kochenderfer (CoRR, 2019)

Preference-based Learning of Reward Function Features. - Sydney M. Katz; Amir Maleki; Erdem Biyik; Mykel J. Kochenderfer (CoRR, 2021)

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. - Christopher A. Strong; Sydney M. Katz; Anthony L. Corso; Mykel J. Kochenderfer (NFM, 2022)

Risk-Driven Design of Perception Systems. - Anthony Corso 001; Sydney M. Katz; Craig Innes; Xin Du 006; Subramanian Ramamoorthy; Mykel J. Kochenderfer (NeurIPS, 2022)

Verifying Inverse Model Neural Networks. - Chelsea Sidrane; Sydney M. Katz; Anthony Corso 001; Mykel J. Kochenderfer (CoRR, 2022)

Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers. - Sydney M. Katz; Luis E. Alvarez; Michael P. Owen; Samuel Wu; Marc Brittain; Anshuman Das; Mykel J. Kochenderfer (CoRR, 2022)

Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems. - Nicholas Rober; Sydney M. Katz; Chelsea Sidrane; Esen Yel; Michael Everett; Mykel J. Kochenderfer; Jonathan P. How (CoRR, 2022)

Verification of Image-Based Neural Network Controllers Using Generative Models. - Sydney M. Katz; Anthony L. Corso; Christopher A. Strong; Mykel J. Kochenderfer (J. Aerosp. Inf. Syst., 2022)

AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. - Elysia Q. Smyers; Sydney M. Katz; Anthony Corso 001; Mykel J. Kochenderfer (NeurIPS, 2023)

Efficient Determination of Safety Requirements for Perception Systems. - Sydney M. Katz; Anthony L. Corso; Esen Yel; Mykel J. Kochenderfer (CoRR, 2023)

Generating probabilistic safety guarantees for neural network controllers. - Sydney M. Katz; Kyle D. Julian; Christopher A. Strong; Mykel J. Kochenderfer (Mach. Learn., 2023)

Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features. - Romeo Valentin; Sydney M. Katz; Joonghyun Lee; Don Walker; Matthew Sorgenfrei; Mykel J. Kochenderfer (CoRR, 2024)

Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals. - Harrison Delecki; Sydney M. Katz; Mykel J. Kochenderfer (CoRR, 2024)

DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces. - Romeo Valentin; Sydney M. Katz; Vincent Vanhoucke; Mykel J. Kochenderfer (CoRR, 2025)

Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System. - Romeo Valentin; Sydney M. Katz; Artur B. Carneiro; Don Walker; Mykel J. Kochenderfer (CoRR, 2025)