title = { ParetoLib: {A} Python Library for Parameter Synthesis },
author = {Bakhirkin, Alexey and Basset, Nicolas and Maler, Oded and Requeno Jarabo, Jos{\'{e}}{-}Ignacio},
year = {2019},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International Conference, {FORMATS} 2019},
pages = {114--120},
team = {TEMPO, PACSS},
}
