2 citations · 5 across the 8 of their papers we have counts for
1 paper · 1 filter
Wang Lin, Min Wu, Zhengfeng Yang +1
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inducti…