This project aims at a verification framework for hybrid systems (i.e., systems whose behavior is characterized by both continuous and discrete quantities). Concretely, we aim at (1) methods for ...