Safety verification for linear systems

Parasara Sridhar Duggirala, Ashish Tiwari. Safety verification for linear systems. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]

Abstract

Abstract is missing.