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 and University of Houston receive $3.6M to develop a microreactor to convert carbon dioxide to methanol using renewable energy
By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
-
Teaching machines to learn like humans could help autonomous systems deal with unfamiliar environments
SRI is spearheading a way for autonomous systems, such as self-driving vehicles and drones, to effectively operate in evolving and adversarial environments such as war zones.
-
Office of Special Education Programs extends SRI’s funding for the Center for IDEA Early Childhood Data Systems
The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.