DOI,IST REx ID,Research Group,Title of publication
10.1109/TCAD.2020.3012859,8790,ToHe,Reachability analysis of linear hybrid systems via block decomposition