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
-
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.
-
Rutgers students take an insider tour of SRI’s Princeton campus
Undergraduate researchers got hands-on demos of healthcare task guidance and night-vision imaging tech.