Slide 23 of 23
Notes:
In many cases, search for a counterexample is easier than verifying its non-existence.
Hybrid control synthesis and hybrid game-tree search are complementary techniques for hybrid system control.
