DOI,IST REx ID,Research Group,Title of publication
10.1109/MEMCOD.2016.7797741,1103,ToHe,Parallel reachability analysis for hybrid systems