Benchmarking, differential dynamic logic, formal verification, hybrid games, Hybrid Hoare Logic, hybrid systems2, nonlinear systems, theorem proving2, tools.