Daisuke Ishii, Kohei Suenaga, Walid Taha, September 28-. Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep., 2015, 2015. [doi]
@article{IshiiST215,
title = {Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14)},
author = {Daisuke Ishii and Kohei Suenaga and Walid Taha and September 28-},
year = {2015},
url = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2015-14.pdf},
researchr = {https://researchr.org/publication/IshiiST215},
cites = {0},
citedby = {0},
journal = {NII Shonan Meet. Rep.},
volume = {2015},
}