Stanford Advisors


2021-22 Courses


All Publications


  • 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