34 citations · 49 across the 6 of their papers we have counts for
1 paper · 1 filter
Hui Kong, Fei He, Xiaoyu Song +2
A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the…