Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis.
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Browse the full CAV paper archive.
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
Browse the full CAV paper archive.