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
-
Vaalia Health: Causal AI for precision healthcare
With healthcare shifting toward at-home solutions, Vaalia Health is building on SRI’s AI innovations to make sure that efficient care is also effective care.
-
Ashish Gehani named 2025 SRI Fellow
Senior principal computer scientist recognized for contributions in cybersecurity and trustworthy systems.
-
Major NIH study helps families manage sleep and screentime
SRI Fellow Fiona Baker: Longitudinal research like the SRI-supported ABCD study is crucial for understanding how modern life shapes developing brains.