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
-
Podcast: How students can help drive educational innovation
SRI’s Ela Joshi discusses how product developers, researchers, districts, and schools can leverage student voice.
-
SRI researchers develop rugged, low-cost, drifting sensors to learn more about the oceans
PEARL drifters pack an array of sensors into a compact autonomous device to gather data and signs of activity.
-
An SRI collaboration aims to improve online education for college students
The Postsecondary Teaching with Technology Collaborative aims to strengthen teaching and learning, improve student outcomes, and reduce societal gaps.