@misc{indiciaee57e6c078647,
  title = {Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)},
  author = {Dario Cattaruzza and Alessandro Abate and Peter Schrammel and Daniel Kroening},
  year = {2017},
  url = {https://arxiv.org/abs/1506.05607},
  note = {Source identifier: 1506.05607}
}