Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis (bibtex)

by HD Tran, LV Nguyen and Taylor T. Johnson

Reference:

HD Tran, LV Nguyen and Taylor T. Johnson, "Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis", In 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15), EasyChair, pp. 89–97, 2015.

Bibtex Entry:

@inproceedings{tran2015arch,
  title = {Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis},
  author = {HD Tran and LV Nguyen and Taylor T. Johnson},
  year = {2015},
  booktitle = {2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'15)},
  volume = {34},
  pages = {89--97},
  publisher = {EasyChair},
  doi = {10.29007/6dcf},
  publabel = {W4},
  pubtype = {W},
  dblp = {conf/cpsweek/TranNJ15},
  s2id = {28848801},
  pdf = "research/tran2015arch.pdf",
}