Hybrid Systems and Formal Verification

Proving properties of systems that mix continuous and discrete dynamics.