Hybrid Dynamical Systems

We aim at providing solver technology to be used in tools for formal verification of hybrid dynamical systems. The verification methods we are going to support require a precise mathematical model of the system under investigation in order to be applicable.