Verification of hybrid systems

January 19th, 2021