Publications

  1. Kochenderfer, M. J., Katz, S.M., Corso A. L., and Moss, R. J. “Algorithms for Validation,” Preprint, 2025. <Website>
  2. Katz, S. M., Moss, R. J., Asmar, D. M., Olson, W. A., Kuchar, J. K., and Kochenderfer, M. J. “Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance,” in ArXiv 2510.20916, 2025. <Paper>
  3. Valentin R., Katz, S. M., Vanhoucke, V., and Kochenderfer, M. J. “DB-KSVD: Scalable alternating optimization for disentangling high-dimensional embedding spaces,” in ArXiv 2505.18441, 2025. <Paper> <Code>
  4. Valentin R., Katz, S. M., Carneiro, A. B., Walker, D., and Kochenderfer, M. J. “Predictive uncertainty and fast inference for runtime assurance of a computer vision-based landing system,” in Digital Avionics Systems Conference (DASC), 2025.<Paper>
  5. Delecki, H., Katz, S.M., and Kochenderfer, M. J. “Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals,” in International Conference on Control, Decision and Information Technologies (CoDIT), 2025. <Paper> <Code>
  6. Valentin, R., Katz, S. M., Lee, J., Arief, M., Sorgenfrei, M., Walker, D., and Kochenderfer, M. J. “Uncertainty aware pose estimation and calibration from image features,” in Digital Avionics Systems Conference (DASC), 2024. <Paper> <Code>
  7. Katz, S. M., “Safe machine learning-based perception via closed-loop analysis,” PhD Thesis, 2023. <Paper> <Video>
  8. Katz, S. M., Corso, A. L., Yel, E., and Kochenderfer, M. J. “Efficient determination of safety requirements for perception systems,” in Digital Avionics Systems Conference (DASC), 2023. <Paper> <Video> <Code>
  9. Smyers, E. Q., Katz, S. M., Corso, A., and Kochenderfer, M. J. “AVOIDDS: Aircraft vision-based intruder detection dataset and simulator,” in Advances in Neural Information Processing Systems (NeurIPS), 2023. <Paper> <Video> <Code>
  10. Rober, N., Katz, S. M., Sidrane, C., Yel, E., Everett, M., Kochenderfer, M. J., and How, J. P. “Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems,” in IEEE Open Journal of Control Systems, 2023. <Paper>
  11. Corso, A. L.*, Katz, S. M.*, Innes, C. A., Du, X., Ramamoorthy, S., and Kochenderfer, M. J. “Risk-driven design of perception systems,” in Advances in Neural Information Processing Systems (NeurIPS), 2022. <Paper> <Video> <Code>
  12. Katz, S. M., Alvarez, L. E., Owen, M., Wu, S., Brittain, M. W., Das, A., and Kochenderfer, M. J. “Collision risk and operational impact of speed change advisories as aircraft collision avoidance maneuvers,” in AIAA AVIATION Forum, 2022. <Paper> <Code>
  13. Katz, S. M.*, Corso, A. L.*, Strong, C. A.*, and Kochenderfer, M. J. “Verification of image-based neural network controllers using generative models,” in Journal of Aerospace Information Systems, 2022. <Paper> <Video> <Code>
  14. Sidrane, C., Katz, S. M., Corso, A. L., and Kochenderfer, M. J. “Verifying Inverse Model Neural Networks,” in ArXiv 2202.02429, 2022. <Paper>
  15. Strong, C. A., Katz, S. M., Corso, A. L., and Kochenderfer, M. J. “ZoPE: A fast optimizer for ReLU networks with low-dimensional inputs,” in NASA Formal Methods Symposium (NFM), 2022. <Paper> <Code>
  16. Katz, S. M.*, Corso, A. L.*, Strong, C. A.*, and Kochenderfer, M. J. “Verification of image-based neural network controllers using generative models,” in Digital Avionics Systems Conference (DASC), 2021. <Paper> <Video> <Code>
  17. Katz, S. M., Julian, K. D., Strong, C. A., and Kochenderfer, M. J. “Generating probabilistic safety guarantees for neural network controllers,” in Machine Learning, iss. 2103.01203, 2021. <Paper> <Video> <Code>
  18. Katz, S. M., Maleki, A., Biyik, E., and Kochenderfer, M. J. “Preference-based learning of reward function features,” in ArXiv 2103.02727, 2021. <Paper>
  19. Weinert, A. J., Edwards, M., Alvarez, L., and Katz, S. M. “Representative Small UAS Trajectories for Encounter Modeling,” in AIAA Scitech Forum, 2020. <Paper>
  20. Katz, S. M., LeBihan, A.-C., and Kochenderfer, M. J. “Learning an urban air mobility encounter model from expert preferences,” in Digital Avionics Systems Conference (DASC), 2019. <Paper> <Code>
  21. Casanova, S., Henry de Frahan, J., Guimaraes Goecks, V., Herath, S., Herreras Martinez, M., Jamieson, N., Jones, T., Kang, S. W., Katz, S. M., Li, G., et al. “Enabling deep space exploration with an in-space propellant depot supplied from lunar ice,” in AIAA SPACE and Astronautics Forum and Exposition, 2017.
  22. Katz, S. M., Nickerson, R. D., Ehlmann, B. L., and Catalano, J. G. “Synthesis and Analysis of Synthetic Smectite Clays for Use as Spectral Standards,” in Lunar and Planetary Science Conference, 2016.