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
-
Inside Startups goes deep inside one of the most advanced robotics labs in Silicon Valley
Three SRI projects show how robots can improve cancer treatment, accelerate teleoperation, and learn through AI.
-
SRI joins an ambitious NIH effort to improve autism outcomes
The institute’s work on the Autism Data Science Initiative aims to advance our understanding of what positive autism care outcomes look like and how they can be achieved.
-
Pedro Sequeira: Bridging the gap between humans and machines
Working in SRI’s AI Center, Sequeira creates autonomous systems that learn, reason, and adapt under uncertainty.