Accelerating Parameter Synthesis Using Semi-algebraic Constraints.

Nikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safrnek

Browse the full IFM paper archive.