Tommaso Dreossi, Thao Dang, Carla Piazza. Reachability computation for polynomial dynamical systems. Formal Methods in System Design, 50(1):1-38, 2017. [doi]
@article{DreossiDP17, title = {Reachability computation for polynomial dynamical systems}, author = {Tommaso Dreossi and Thao Dang and Carla Piazza}, year = {2017}, doi = {10.1007/s10703-016-0266-3}, url = {http://dx.doi.org/10.1007/s10703-016-0266-3}, researchr = {https://researchr.org/publication/DreossiDP17}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {50}, number = {1}, pages = {1-38}, }