@article{DDP8,
title = {Reachability computation for polynomial dynamical systems },
author = {Dreossi, Tommaso and Dang, Thao and Piazza, Carla},
year = {2018},
journal = {Formal Methods in System Design},
number = {1},
pages = {1--38},
volume = {50},
team = {axe_Mohytos, TEMPO},
}