TY  - RPRT
TI  - Reachability analysis of linear hybrid systems via block decomposition
AU  - Sergiy Bogomolov
AU  - Marcelo Forets
AU  - Goran Frehse
AU  - Kostiantyn Potomkin
AU  - Christian Schilling
PY  - 2020
DO  - 10.1109/tcad.2020.3012859
UR  - https://arxiv.org/abs/1905.02458
ID  - 1905.02458
ER  -