DOI,IST REx ID,Research Group,Title of publication
10.1109/MEMOCODE51338.2020.9314994,8750,ToHe,Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions