Cited By
View all- Kong HBogomolov SSchilling CJiang YHenzinger TFrehse GMitra S(2017)Safety Verification of Nonlinear Hybrid Systems Based on Invariant ClustersProceedings of the 20th International Conference on Hybrid Systems: Computation and Control10.1145/3049797.3049814(163-172)Online publication date: 13-Apr-2017