2 citations · 2 across the 1 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…