TY  - RPRT
TI  - Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
AU  - Sergiy Bogomolov
AU  - Marcelo Forets
AU  - Goran Frehse
AU  - Andreas Podelski
AU  - Christian Schilling
AU  - Frédéric Viry
PY  - 2018
DO  - 10.1145/3178126.3178128
UR  - https://arxiv.org/abs/1801.09526
ID  - 1801.09526
ER  -