Stanford AA228V I Validation of Safety Critical Systems I Guest Lecture: Somil Bansal, Stanford

To follow along with the course, visit the course website: https://aa228v.stanford.edu/ Textbook: https://algorithmsbook.com/validation/ Somil Bansal, Assistant Professor Department of Aeronautics and Astronautics, Stanford University More about the guest speaker: https://smlbansal.github.io/ Sydney Katz, Postdoctoral Scholar, Stanford University More about the speaker: https://sydneymkatz.com/ Mykel Kochenderfer, Associate Professor of Aeronautics and Astronautics and, by courtesy, of Computer Science, Stanford University More about the speaker: https://mykel.kochenderfer.com/ To learn more and enroll in the course: https://online.stanford.edu/courses/aa228v-validation-safety-critical-systems