Symbolic Polytopes for Quantitative Interpolation and Verification.

Klaus von Gleissenthall, Boris Kpf, Andrey Rybalchenko

Browse the full CAV paper archive.