_id,title
8287,Reachability analysis of linear hybrid systems via block decomposition
6035,JuliaReach: A toolbox for set-based reachability