Summary (cont.)

• 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.

Previous slide

Back to first slide

View graphic version

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.