Safety verification for linear systems.

Parasara Sridhar Duggirala, Ashish Tiwari

Browse the full EMSOFT paper archive.