1 paper · 1 filter
Dejin Ren, Zhen Liang, Chenyu Wu +3
Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems ana…