Follow
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. (arXiv:2209.09321v1 [math.NA]) http://arxiv.org/abs/2209.09321
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. (arXiv:2209.09321v1 [math.NA]) http://arxiv.org/abs/2209.09321