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
-
Senators introduce bipartisan bill to protect electric grid from quantum cyber threats
Legislation would help transition to post-quantum cryptography as quantum computing advances.
-
AI guides healthcare workers through blood draws, intubation, and more
NJ.com reports on an ARPA-H-funded system to bring advanced care to underserved areas.
-
CTI expands clinical research network through acquisition of SRI Clinical Trial Unit; organizations launch strategic research partnership
Government and commercial clients will benefit from expanded capabilities and operations.