Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration.

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening

Browse the full SAS paper archive.