Stanford Advisors


2024-25 Courses


All Publications


  • Backward reachability analysis of neural feedback loops: {T}echniques for linear and nonlinear systems IEEE Open Journal of Control Systems Rober, N., Katz, S. M., Sidrane, C., Yel, E., Everett, M., Kochenderfer, M. J., How, J. P. 2023; 2: 108-124
  • Generating probabilistic safety guarantees for neural network controllers MACHINE LEARNING Katz, S. M., Julian, K. D., Strong, C. A., Kochenderfer, M. J. 2021
  • Synthesis and characterization of Fe(III)-Fe(II)-Mg-Al smectite solid solutions and implications for planetary science AMERICAN MINERALOGIST Fox, V. K., Kupper, R. J., Ehlmann, B. L., Catalano, J. G., Razzell-Hollis, J., Abbey, W. J., Schild, D. J., Nickerson, R. D., Peters, J. C., Katz, S. M., White, A. A. 2021; 106 (6): 964-982
  • Verification of image-based neural network controllers using generative model Digital Avionics Systems Conference (DASC) Katz, S. M., Corso, A. L., Strong, C. A., Kochenderfer, M. J. 2021
  • Learning an Urban Air Mobility Encounter Model from Expert Preferences Katz, S. M., Le Bihan, A., Kochenderfer, M. J., IEEE IEEE. 2019