Sydney M. Katz

According to our database, Sydney M. Katz authored at least 18 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

The FABRIC Strategy for Verifying Neural Feedback Systems.

Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, March, 2026

A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems.

Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett

CoRR, January, 2026

2025

Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance.

Sydney M. Katz, Robert J. Moss, Dylan M. Asmar, Wesley A. Olson, James K. Kuchar, Mykel J. Kochenderfer

CoRR, October, 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, August, 2025

DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces.

Romeo Valentin, Sydney M. Katz, Vincent Vanhoucke, Mykel J. Kochenderfer

CoRR, May, 2025

Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals.

Harrison Delecki, Sydney M. Katz, Mykel J. Kochenderfer

Proceedings of the 11th International Conference on Control, 2025

2024

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

2023

Generating probabilistic safety guarantees for neural network controllers.

Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer

Mach. Learn., 2023

Efficient Determination of Safety Requirements for Perception Systems.

Sydney M. Katz, Anthony L. Corso, Esen Yel, Mykel J. Kochenderfer

CoRR, 2023

AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator.

Elysia Q. Smyers, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

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., September, 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

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

Verifying Inverse Model Neural Networks.

Chelsea Sidrane, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer

CoRR, 2022

Risk-Driven Design of Perception Systems.

Anthony Corso, Sydney M. Katz, Craig Innes, Xin Du, Subramanian Ramamoorthy, Mykel J. Kochenderfer

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.

Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Preference-based Learning of Reward Function Features.

Sydney M. Katz, Amir Maleki, Erdem Biyik, Mykel J. Kochenderfer

CoRR, 2021

2019

Learning an Urban Air Mobility Encounter Model from Expert Preferences.

Sydney M. Katz, Anne-Claire Le Bihan, Mykel J. Kochenderfer

CoRR, 2019