DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:ISTA:6894,6894,ToHe,Automatic time-unbounded reachability analysis of hybrid systems