Sydney M. Katz

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

Collaborative distances:

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

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