Safety Verification for Linear Systems

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.

↓ View online

Read more from SRI

  • An arid, rural Nevada landscape

    Can AI help us find valuable minerals?

    SRI’s machine learning-based geospatial analytics platform, already adopted by the USGS, is poised to make waves in the mining industry.

  • Two students in a computer lab

    Building a lab-to-market pipeline for education

    The SRI-led LEARN Network demonstrates how we can get the best evidence-based educational programs to classrooms and students.

  • Code reflected in a man's eyeglasses

    LLM risks from A to Z

    A new paper from SRI and Brazil’s Instituto Eldorado delivers a comprehensive update on the security risks to large language models.