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’s Self-Cooling Paint earns a spot in WEF’s global tech report
Passive radiative cooling among the world’s most consequential emerging technologies of 2026.
-
SRI’s AI Center celebrates 60 years of AI impact
Created in 1966, SRI’s Artificial Intelligence Center was one of the world’s first research groups devoted to AI.
-
SRI spinout Autonomique brings lab research to the factory floor
Licensed teleoperation and AI are driving production-grade robotics at a global Tier 1 automotive supplier.