Abstract:
Reference:
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson, "Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis", In 2nd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2015), Seattle, Washington, pp. , 2015, apr. (model source code)
Bibtex Entry:
@inproceedings{tran2015arch,
author = {Hoang-Dung Tran and Luan Viet Nguyen and Taylor T. Johnson},
title = {Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis},
year = {2015},
booktitle = {2nd Applied Verification for Continuous and Hybrid Systems Workshop (<a href="http://cps-vo.org/group/ARCH/">ARCH 2015</a>)},
address = {Seattle, Washington},
month = apr,
pages = {},
doi = {},
gsid = {},
abstract = {},
comment = {<a href="research/tran2015arch.zip">model source code</a>},
pdf = {http://www.taylortjohnson.com/research/tran2015arch.pdf},
}