Symbolic Polytopes for Quantitative Interpolation and Verification | Publicación