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
-
Parker Solar Probe: Our closest look at the sun
SRI imaging technology supports a record-shattering NASA mission.
-
Robots in the cleanroom
A global health leader is exploring how SRI’s robotic telemanipulation technology can enhance pharmaceutical manufacturing.
-
SRI research aims to make generative AI more trustworthy
Researchers have developed a new framework that reduces generative AI hallucinations by up to 32%.