DOI,IST REx ID,Research Group,Title of publication
10.1145/3302504.3311804,6035,ToHe,JuliaReach: A toolbox for set-based reachability
10.1145/3302504.3311800,6428,ToHe,Interface-aware signal temporal logic