DOI,IST REx ID,Research Group,Title of publication
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability