Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.

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

Browse the full ATVA paper archive.