Helicopter Example posted

A 28-dimensional controlled helicopter model is now available here. It illustrates the precision and speed of SpaceEx. A SpaceEx flowpipe with box constraints in this 28-dimensional model takes about 15 seconds, and corresponds to 2²⁸ corner case simulations -- that's more than 268 million simulation runs.