UTOPIC: Under-approximation through optimal control