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
-
New research shows kids learn STEM skills from PBS KIDS
SRI research demonstrates that screen-based educational content can measurably improve how young children understand the world around them.
-
A new security threat to AI models
SRI research demonstrates how bad actors might encode undetectable malware inside complex deep neural networks.
-
In search of fair play: Designing pay parity for Head Start teachers
SRI researchers are informing how Head Start programs set standards to improve pay for teachers.