@phdthesis{Dre7,
title = {Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems },
author = {Dreossi, Tommaso},
month = {January},
year = {2017},
school = {Grenoble Alpes University (France) and University of Udine (Italy)},
team = {TEMPO},
}
