_id,doi,title
663,10.1145/3049797.3049814,Safety verification of nonlinear hybrid systems based on invariant clusters