Numerical verification of affine systems with up to a billion dimensions (bibtex)

Reference:

S Bak, HD Tran and Taylor T. Johnson, "Numerical verification of affine systems with up to a billion dimensions", In 22nd ACM International Conference on Hybrid Systems (HSCC'19), ACM, pp. 23–32, 2019.

Bibtex Entry:

@inproceedings{bak2019hscc,
  title = {Numerical verification of affine systems with up to a billion dimensions},
  author = {S Bak and HD Tran and Taylor T. Johnson},
  year = {2019},
  month = apr,
  booktitle = {22nd ACM International Conference on Hybrid Systems (HSCC'19)},
  pages = {23--32},
  publisher = {ACM},
  doi = {10.1145/3302504.3311792},
  publabel = {C22},
  pubtype = {C},
  arxiv = {1804.01583},
  dblp = {journals/corr/abs-1804-01583},
  s2id = {4602804},
  pdf = "research/bak2019hscc.pdf",
}