19 citations · 24 across the 4 of their papers we have counts for
1 paper · 1 filter
Zhengfeng Yang, Min Wu, Wang Lin
In this paper, we address the problem of safety verification of nonlinear hybrid systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hy…