Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.

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

Browse the full CAV paper archive.