1 paper
Zhengfeng Yang, Min Wu, Wang Lin
In this paper, we address the problem of safety verification of interval hybrid systems in which the coefficients are intervals instead of explicit numbers. A hybrid symbolic-numer…