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 software emulates the human brain to empower AI at the edge
The emerging field of edge computing could rein in AI’s energy splurge. The SRI NeuroEdge framework aims to further increase edge computing’s efficiency and responsiveness.
-
Robot teams that talk to humans
SRI scientists created a new AI-based approach to robotics that enables mobile robots to effectively communicate with each other — and with their human operators.
-
Avsr AI: Teaching robots autonomy and dexterity
An SRI spinout is leveraging SRI technology to increase the dexterity and flexibility of our future robotic collaborators.