@article{DT12,
title = {Reachability analysis for polynomial dynamical systems using the {Bernstein} expansion },
author = {Dang, Thao and Testylier, Romain},
month = {December},
year = {2012},
journal = {Reliable Computing Journal},
team = {TEMPO},
}