Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva, David Safránek
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
CAV, 2017.
@inproceedings{CAV-2017-BenesBDPS,
author = "Nikola Benes and Lubos Brim and Martin Demko and Samuel Pastva and David Safránek",
booktitle = "{Proceedings of the 29th International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-319-63387-9_29",
isbn = "['978-3-319-63386-2', '978-3-319-63387-9']",
pages = "591--598",
publisher = "{Springer}",
title = "{Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems}",
year = 2017,
}