Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Frédéric Viry; Andreas Podelski; Christian Schilling 001 (HSCC, 2018)