TY  - RPRT
TI  - Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
AU  - Mark Wetzlinger
AU  - Niklas Kochdumper
AU  - Stanley Bak
AU  - Matthias Althoff
PY  - 2024
DO  - 10.1109/tac.2023.3292008
UR  - https://arxiv.org/abs/2209.09321
ID  - 2209.09321
ER  -