Bounded error flowpipe computation of parameterized linear systems.

Ratan Lal, Pavithra Prabhakar

Browse the full EMSOFT paper archive.