DOI,IST REx ID,Research Group,Title of publication
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition