Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration (Lecture Notes in Computer Science: SAS 2015: Static Analysis, 2015)

(untitled) - Cattaruzza, D; Abate, A; Schrammel, P; Kroening, D