Scalable Analysis of Linear Systems Using Mathematical Programming.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Browse the full VMCAI paper archive.