Citation
Rushby, J. (2013, 24-27 September). Logic and epistemology in safety cases. Paper presented at the International Conference on Computer Safety, Reliability and Security (SAFECOMP ’13), Toulouse, France.
Logic and Epistemology in Safety Cases
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.