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 study finds structured linguistic phonics boosts reading for older learners
A new study from SRI Education offers rigorous evidence on phonics instruction for grades 4–8.
-
SRI wins autonomous Space Domain Awareness role in U.S.–Korea collaboration
SRI was awarded a subcontract to STEP Lab Ltd. to develop an optical payload for space domain awareness.
-
Reuters covers SRI’s work in the ARPA-H-funded PARADIGM program
The program aims to bring care to rural areas as hospitals close.