TY  - RPRT
TI  - Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)
AU  - Dario Cattaruzza
AU  - Alessandro Abate
AU  - Peter Schrammel
AU  - Daniel Kroening
PY  - 2017
UR  - https://arxiv.org/abs/1506.05607
ID  - 1506.05607
ER  -