TY  - RPRT
TI  - Numerical Verification of Affine Systems with up to a Billion Dimensions
AU  - Stanley Bak
AU  - Hoang-Dung Tran
AU  - Taylor T. Johnson
PY  - 2019
DO  - 10.1145/3302504.3311792
UR  - https://arxiv.org/abs/1804.01583
ID  - 1804.01583
ER  -