UTOPIC: Under-Approximation Through Optimal Control | Publicación