Citation
King, T., Barrett, C., & Dutertre, B. (2013, 20-23 October). Simplex with sum of infeasibilities for SMT. Paper presented at the 2013 Formal Methods in Computer-Aided Design (FMCAD ’13), Portland, OR.
Simplex with Sum of Infeasibilities for SMT
Read more from SRI
-
SRI receives FDA clearance to initiate a clinical trial of high-dose naloxone
Researchers say the new formulation could reduce overdose fatalities caused by fentanyl and other synthetic opioids.
-
Helping pre-teens get the sleep they need
The American Academy of Sleep Medicine highlights SRI research focused on the relationship between parental engagement and pre-teen sleep.
-
How SRI accelerates deep tech startups
Innovators who join SRI’s Entrepreneurship-in-Residence program benefit from a unique opportunity to turn ground-breaking scientific advances into commercial applications.