Reachability and Learning for Hybrid Systems

Hybrid systems allow for the composition of continuous and discrete state dynamics, and have been used in aircraft flight management, air and ground transportation systems, robotic vehicles and human-