Verification and Falsification of Continuous and Hybrid Dynamical Systems