Sydney M. Katz

24 papers A* 2C 1Journal 20Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems. CoRR Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett
2026	J	`jnl`	The FABRIC Strategy for Verifying Neural Feedback Systems. CoRR Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark W. Barrett
2025	J	`jnl`	Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance. CoRR Sydney M. Katz, Robert J. Moss, Dylan M. Asmar, Wesley A. Olson, James K. Kuchar, Mykel J. Kochenderfer
2025	J	`jnl`	DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces. CoRR Romeo Valentin, Sydney M. Katz, Vincent Vanhoucke, Mykel J. Kochenderfer
2025	C	`conf`	Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals. CoDIT Harrison Delecki, Sydney M. Katz, Mykel J. Kochenderfer
2025	J	`jnl`	Predictive Uncertainty for Runtime Assurance of a Real-Time Computer Vision-Based Landing System. CoRR Romeo Valentin, Sydney M. Katz, Artur B. Carneiro, Don Walker, Mykel J. Kochenderfer
2024	J	`jnl`	Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals. CoRR Harrison Delecki, Sydney M. Katz, Mykel J. Kochenderfer
2024	J	`jnl`	Probabilistic Parameter Estimators and Calibration Metrics for Pose Estimation from Image Features. CoRR Romeo Valentin, Sydney M. Katz, Joonghyun Lee, Don Walker, Matthew Sorgenfrei, Mykel J. Kochenderfer
2023	A*	`conf`	AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. NeurIPS Elysia Q. Smyers, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer
2023	J	`jnl`	AVOIDDS: Aircraft Vision-based Intruder Detection Dataset and Simulator. CoRR Elysia Q. Smyers, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
2023	J	`jnl`	Efficient Determination of Safety Requirements for Perception Systems. CoRR Sydney M. Katz, Anthony L. Corso, Esen Yel, Mykel J. Kochenderfer
2023	J	`jnl`	Generating probabilistic safety guarantees for neural network controllers. Mach. Learn. Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
2022	J	`jnl`	Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems. CoRR Nicholas Rober, Sydney M. Katz, Chelsea Sidrane, Esen Yel, Michael Everett, Mykel J. Kochenderfer, Jonathan P. How
2022	J	`jnl`	Collision Risk and Operational Impact of Speed Change Advisories as Aircraft Collision Avoidance Maneuvers. CoRR Sydney M. Katz, Luis E. Alvarez, Michael P. Owen, Samuel Wu, Marc Brittain, Anshuman Das, Mykel J. Kochenderfer
2022	A*	`conf`	Risk-Driven Design of Perception Systems. NeurIPS Anthony Corso, Sydney M. Katz, Craig Innes, Xin Du, Subramanian Ramamoorthy, Mykel J. Kochenderfer
2022	J	`jnl`	Risk-Driven Design of Perception Systems. CoRR Anthony L. Corso, Sydney M. Katz, Craig Innes, Xin Du, Subramanian Ramamoorthy, Mykel J. Kochenderfer
2022	J	`jnl`	Verification of Image-Based Neural Network Controllers Using Generative Models. J. Aerosp. Inf. Syst. Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
2022	J	`jnl`	Verifying Inverse Model Neural Networks. CoRR Chelsea Sidrane, Sydney M. Katz, Anthony Corso, Mykel J. Kochenderfer
2022	—	`conf`	ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. NFM Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
2021	J	`jnl`	Generating Probabilistic Safety Guarantees for Neural Network Controllers. CoRR Sydney M. Katz, Kyle D. Julian, Christopher A. Strong, Mykel J. Kochenderfer
2021	J	`jnl`	Preference-based Learning of Reward Function Features. CoRR Sydney M. Katz, Amir Maleki, Erdem Biyik, Mykel J. Kochenderfer
2021	J	`jnl`	Verification of Image-based Neural Network Controllers Using Generative Models. CoRR Sydney M. Katz, Anthony L. Corso, Christopher A. Strong, Mykel J. Kochenderfer
2021	J	`jnl`	ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs. CoRR Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
2019	J	`jnl`	Learning an Urban Air Mobility Encounter Model from Expert Preferences. CoRR Sydney M. Katz, Anne-Claire Le Bihan, Mykel J. Kochenderfer