Citation
Duggirala, P. S., & Tiwari, A. (2013, 29 September – 4 October). Safety verification for linear systems. Paper presented at the International Conference on Embedded Software (EMSOFT ’13), Montreal, Canada.
Safety Verification for Linear Systems
Read more from SRI
-
SRI marks 80 years: exploring what comes next
SRI looks ahead to an era of innovation that serves everyone.
-
Five years of building innovation readiness: SRI and Nomura Holdings celebrate NSIC milestone
NSIC has helped 25 Japanese companies develop the capabilities and connections to pursue new business opportunities.
-
SRI’s smart lidar imager joins DARPA’s ERIS Marketplace
SRI’s low-power, dual-mode lidar imager is now available to government customers.