Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.

Colas Le Guernic

Browse the full SAS paper archive.