@misc{indiciae80a7bdb91bdf,
  title = {Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets},
  author = {Mark Wetzlinger and Niklas Kochdumper and Stanley Bak and Matthias Althoff},
  year = {2024},
  doi = {10.1109/tac.2023.3292008},
  url = {https://arxiv.org/abs/2209.09321},
  note = {Source identifier: 2209.09321}
}