Reachability-based Controller Design for Switched Nonlinear Systems
CS 1 – Introduction to Computer Science