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-backed Valence AI raises $5M to integrate emotional intelligence into the trust stack
Emotional inference is becoming a new layer in digital identity and fraud-prevention systems.
-
Tackling quantum scalability with NIST-backed QMEC
SRI-led QMEC will find opportunities and identify gaps within the quantum supply chain.
-
A thousand qubits in bloom, now let’s scale
Standardization is the way to the first quantum computer.