Symbolic polytopes for quantitative interpolation and verification

DOI10.1007/978-3-319-21690-4_11zbMath1381.68066OpenAlexW1427295138MaRDI QIDQ1702919

Andrey Rybalchenko, Boris Köpf, Klaus von Gleissenthall

Publication date: 1 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_11

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Symbolic polytopes for quantitative interpolation and verification