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
-
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.