DOI,IST REx ID,Research Group,Title of publication
10.1145/3049797.3049814,663,ToHe,Safety verification of nonlinear hybrid systems based on invariant clusters