ARCH 2015)"/> ARCH 2015)"/> Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis (bibtex)
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis (bibtex)
by , ,
Abstract:
Reference:
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson, "Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis", In 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       =       {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},
}
Powered by bibtexbrowser