Slide 3 of 19
There are two main points I’d like to convey in this talk:
First, global optimization techniques can be powerfully applied to a class of hybrid system verification problems.
Second, when each function evaluation of an optimization is costly, such information should be used intelligently in the course of optimization.
My specific meaning will become apparent in the course of time.